/src/plugins/scopes - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/plugins/scopes @ 65de9931

Name	Size	Revision	Age	Author	Comment
scopes.ml	12.1 KB	65de9931	about 5 years	Pierre-Loïc Garoche	New feature to specify the number of digits to ...

#	Date	Author	Comment
65de9931	04/28/2017 05:15 PM	Pierre-Loïc Garoche	New feature to specify the number of digits to be printed
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
53206908	11/26/2015 04:45 PM	Xavier Thirioux	major branche merging salsa/mpfr with trunk

Also available in: Atom