/src/plugins - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/plugins @ 2fdbc781

Name	Revision	Age	Author	Comment
mpfr	f6acf47b	over 9 years	Pierre-Loïc Garoche	Plugin based framework
salsa	2fdbc781	about 8 years	Pierre-Loïc Garoche	Cleaning output: - no more classic display for ...
scopes	d2d9d4cb	about 8 years	Pierre-Loïc Garoche	Missing files

#	Date	Author	Comment
2fdbc781	04/27/2017 10:42 PM	Pierre-Loïc Garoche	Cleaning output: - no more classic display for ocamlc - compilation warnings removed
d2d9d4cb	04/26/2017 11:25 PM	Pierre-Loïc Garoche	Missing files
0f36882c	11/29/2015 01:20 PM	Xavier Thirioux	several bugs/oddities corrected: - bizarre date stamping (when generating .lusi files) - bug in loading libraries, forbidding several (transitive) imports of the same library. - plugin scopes was wrongly always activated
f6acf47b	11/26/2015 06:17 PM	Pierre-Loïc Garoche	Plugin based framework
445e80ae	11/26/2015 05:30 PM	Xavier Thirioux
53206908	11/26/2015 04:45 PM	Xavier Thirioux	major branche merging salsa/mpfr with trunk

Also available in: Atom