LemmaSoftware/Lemma

ツリー: c77fa33f23

作成者	SHA1	メッセージ	日付
Trevor Irons	6b77a42717	Cleaning up Doxygen warnings, and added DCIP Module	6年前
Trevor Irons	c7b59c6458	Examples in LemmaCore target CXX 14	7年前
Trevor Irons	f1ad8f2f9e	More cleaning up towards the port to c++-11. Documentation and consistency and better testing.	8年前
Trevor Irons	cdc19fe787	Cleaning up, more.	8年前
T-bone	9ef7370e73	Deciding on design changes wrt. allowing stack allocation?	8年前
T-bone	6dfc65b209	Moved LemmaCore into Modules, cleaned up build process and documentation.	8年前