Age | Commit message (Collapse) | Author | |
---|---|---|---|
2014-03-12 | Removed some superfluous lambdas in intermediate functions | Jed Barber | |
2014-03-06 | Getting remote and local repos sync'd | Jed Barber | |
2012-09-22 | Moved some functions from graphpart to proofgraph | Jed Barber | |
2012-09-13 | Cleaner directory structure, addition of make clean, grouping of library ↵ | Jed Barber | |
modules into a single package |