tirons/lemma_mirror

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

Ağaç: 0b7f2462f4

Yazar	SHA1	Mesaj	Tarih
Trevor Irons	667e3a58b9	testing improved, slow march	7 yıl önce
T-bone	6dfc65b209	Moved LemmaCore into Modules, cleaned up build process and documentation.	7 yıl önce
Trevor Irons	181c8acbe3	CXXTEST doesn't use the preprocessor, or doesn't see preprocessor guards. Currently all optional feature tests (i.e. VTK) are disabled and will be moved to their own test suite in the future.	7 yıl önce
Trevor Irons	390c1f34ff	Fix for no VTK.	7 yıl önce
Trevor Irons	8020d593a9	Added test	8 yıl önce