tirons/lemma_mirror

şunun yansıması https://github.com/LemmaSoftware/Lemma.git

Ağaç: f5fe32155b

Yazar	SHA1	Mesaj	Tarih
T-bone	6dfc65b209	Moved LemmaCore into Modules, cleaned up build process and documentation.	7 yıl önce
Trevor Irons	1348f85ce0	More work towards using c++-11, and better documentation.	7 yıl önce
Trevor Irons	5f22a0c59a	Work towards testing framework. CxxTest.	8 yıl önce
Trevor Irons	b2b0c802cc	Testing CMake build, just getting going.	8 yıl önce