tirons/lemma_mirror

miroir de https://github.com/LemmaSoftware/Lemma.git

Aborescence: cdfa8abf79

Auteur	SHA1	Message	Date
Trevor Irons	4f2dec280e	Fixed some filenames to move away from all lowercase convention of yore.	il y a 8 ans
Trevor Irons	237b8725a3	Some more changes towards C++-11. Not yet though	il y a 8 ans
Trevor Irons	adee55f7a6	Added new modules, but build does not yet support them.	il y a 8 ans