Age | Commit message (Expand) | Author |
---|---|---|
2014-03-06 | Getting remote and local repos sync'd | Jed Barber |
2012-09-27 | Placeholder file to ensure git records the /bin directory | Jed Barber |
index : opentheory-transform | ||
Opentheory proof trace optimizer | Jed Barber |
summaryrefslogtreecommitdiff |
Age | Commit message (Expand) | Author |
---|---|---|
2014-03-06 | Getting remote and local repos sync'd | Jed Barber |
2012-09-27 | Placeholder file to ensure git records the /bin directory | Jed Barber |