tirons/lemma_mirror

ミラー元 https://github.com/LemmaSoftware/Lemma.git

ツリー: 32f3339fff

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