| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Changed to Unlicense license | Jed Barber | 5 years | |
| Age | Commit message | Author | ||
| 2021-02-14 | Changed to Unlicense licenseHEADmaster | Jed Barber | ||
| 2016-12-15 | Old uncommitted changes | Jed Barber | ||
| 2014-04-13 | Merge branch 'master' of https://github.com/jedb/opentheory-transform | Jed Barber | ||
| 2014-04-13 | Fixed casing | Jed Barber | ||
| 2014-04-08 | Delete delete.me | jedb | ||
| 2014-04-08 | Reorganising source code | Jed Barber | ||
| 2014-03-20 | Essentially public domain | Jed Barber | ||
| 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-10-07 | Added function to add many graphparts at once | Jed Barber | ||
| [...] | ||||
| Clone | ||||
| git://jedbarber.id.au/opentheory-transform | ||||
 |
index : opentheory-transform | |
| Opentheory proof trace optimizer | Jed Barber |
| aboutsummaryrefslogtreecommitdiff |