tirons/lemma_mirror

镜像来自 https://github.com/LemmaSoftware/Lemma.git

目錄樹: d1d6ff7c4f

作者	SHA1	備註	提交日期
Trevor Irons	096404cf52	Incrimental performance checks	5 年之前
Trevor Irons	4f2dec280e	Fixed some filenames to move away from all lowercase convention of yore.	8 年之前
Trevor Irons	237b8725a3	Some more changes towards C++-11. Not yet though	8 年之前
Trevor Irons	adee55f7a6	Added new modules, but build does not yet support them.	8 年之前