3 Incheckningar (4f2dec280ec66477b72b8a1c3e8c064035c53ade)

Upphovsman	SHA1	Meddelande	Datum
Trevor Irons	237b8725a3	Some more changes towards C++-11. Not yet though	8 år sedan
Trevor Irons	fe87e26a9a	Work towards port to C++-11. Still not functioning, but a snapshot.	8 år sedan
Trevor Irons	1348f85ce0	More work towards using c++-11, and better documentation.	8 år sedan
Trevor Irons	ecb4f3a034	Work on rebasing to C++-11 and reorganization of Modules.	8 år sedan
Trevor Irons	5d1239564a	Lemma is compiling with the exception of TEMIntegrationKernel.	8 år sedan