tirons/lemma_mirror

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

Ağaç: f1ad8f2f9e

Yazar	SHA1	Mesaj	Tarih
Trevor Irons	1348f85ce0	More work towards using c++-11, and better documentation.	8 yıl önce
Trevor Irons	ecb4f3a034	Work on rebasing to C++-11 and reorganization of Modules.	8 yıl önce
Trevor Irons	5d1239564a	Lemma is compiling with the exception of TEMIntegrationKernel.	8 yıl önce