tirons/lemma_mirror

ミラー元 https://github.com/LemmaSoftware/Lemma.git

ブランチ: master

作成者	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年前