LemmaSoftware/Lemma: Main Lemma Repository

Main Lemma Repository

Trevor Irons 237b8725a3 Some more changes towards C++-11. Not yet though		8 yıl önce
..
examples	More cleaning up towards the port to c++-11. Documentation and consistency and better testing.	8 yıl önce
include	Some more changes towards C++-11. Not yet though	8 yıl önce
src	testing improved, slow march	8 yıl önce
testing	testing improved, slow march	8 yıl önce
CMakeLists.txt	Cleaning up, more.	8 yıl önce
LemmaCore.dox	Moved LemmaCore into Modules, cleaned up build process and documentation.	8 yıl önce