This website works better with JavaScript.
Home
Explore
Help
Sign In
tirons
/
lemma_mirror
mirror of
https://github.com/LemmaSoftware/Lemma.git
Watch
1
Star
0
Fork
0
Code
Issues
0
Releases
0
Wiki
Activity
68
Commits
6
Branches
Tree:
577e2a9b68
Commit Graph
1 Commits (577e2a9b684c347eb32550c2b85876d56d8612b1)
Author
SHA1
Message
Date
Trevor Irons
ce5a9b88fc
a few tweaks, minumal
8 years ago
Trevor Irons
f1ad8f2f9e
More cleaning up towards the port to c++-11. Documentation and consistency and better testing.
8 years ago
Trevor Irons
6f0e4f605d
Cleaning up yaml parts of Lemma.
8 years ago