opentheory-transform/makefile, branch master Opentheory proof trace optimizer Reorganising source code 2014-04-08T05:06:40+00:00 Jed Barber jjbarber@y7mail.com 2014-04-08T05:06:40+00:00 03d38eb3190eb5e51fb18847fe0792013285bde5 






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












Utility to compare two article files to see if they produce the same results
2012-09-27T08:51:04+00:00

Jed Barber
jjbarber@y7mail.com

2012-09-27T08:51:04+00:00

4146476e6fb7d07f13c29d3cc9ecf4addf2cbc99












Testing package
2012-09-13T21:41:49+00:00

Jed Barber
jjbarber@y7mail.com

2012-09-13T21:41:49+00:00

84f2ee4a7653b47c4ddefd87c4482729d0272e6b












Cleaner directory structure, addition of make clean, grouping of library modules into a single package
2012-09-12T16:14:04+00:00

Jed Barber
jjbarber@y7mail.com

2012-09-12T16:14:04+00:00

ea3f1f7736c57747e743a5106b917d2853c62f57












Compilation now automated
2012-08-08T19:15:01+00:00

Jed Barber
jjbarber@y7mail.com

2012-08-08T19:15:01+00:00

12b3e97d0ee4b7d1fa6560b91d14ef7be110bdff