opentheory-transform, branch master Opentheory proof trace optimizer Changed to Unlicense license 2021-02-14T04:07:39+00:00 Jed Barber jjbarber@y7mail.com 2021-02-14T04:07:39+00:00 62cf6686cb03f68dc67b8017daf7bb3229fe74af 






Old uncommitted changes
2016-12-15T03:28:31+00:00

Jed Barber
jjbarber@y7mail.com

2016-12-15T03:28:31+00:00

5395287cc2f758d94bec8befe8956ba2dcc3940c












Merge branch 'master' of https://github.com/jedb/opentheory-transform
2014-04-13T09:00:42+00:00

Jed Barber
jjbarber@y7mail.com

2014-04-13T09:00:42+00:00

2fc745bef05860e16a2e89e465a30dc59b5ec2e5












Fixed casing
2014-04-13T08:59:56+00:00

Jed Barber
jjbarber@y7mail.com

2014-04-13T08:59:56+00:00

c2412dac63c97bb024afe4517f7ed5bc14b9cc28












Delete delete.me
2014-04-08T05:08:07+00:00

jedb
jjbarber@y7mail.com

2014-04-08T05:08:07+00:00

2fefe870f23a25777e2936de3e2ed1185368ee38












Reorganising source code
2014-04-08T05:06:40+00:00

Jed Barber
jjbarber@y7mail.com

2014-04-08T05:06:40+00:00

03d38eb3190eb5e51fb18847fe0792013285bde5












Essentially public domain
2014-03-20T07:21:35+00:00

Jed Barber
jjbarber@y7mail.com

2014-03-20T07:21:35+00:00

f2c4e4614613ede497f19ef79dc7dc157eaca834












Removed some superfluous lambdas in intermediate functions
2014-03-11T15:17:25+00:00

Jed Barber
jjbarber@y7mail.com

2014-03-11T15:17:25+00:00

b5ff89d417c73d74a42a1756cb3ecd99b7a3e7f4












Getting remote and local repos sync'd
2014-03-06T07:17:15+00:00

Jed Barber
jjbarber@y7mail.com

2014-03-06T07:17:15+00:00

ef81889c1eccb08acc27d47c9df652541134e3db












Added function to add many graphparts at once
2012-10-07T09:52:01+00:00

Jed Barber
jjbarber@y7mail.com

2012-10-07T09:52:01+00:00

93dcd8b68c0b9d3ecb5cb2352b11c3a9b362f1d9