Tue, 31 May 2011 17:05:44 +0200 | blanchet | compile | file | diff | annotate |
Tue, 03 May 2011 00:10:22 +0200 | blanchet | replaced some Unsynchronized.refs with Config.Ts | file | diff | annotate |
Mon, 02 May 2011 13:29:47 +0200 | blanchet | fix ROOT.ML and handle "readable_names" reference slightly more cleanly | file | diff | annotate |
Mon, 02 May 2011 12:09:33 +0200 | blanchet | added TPTP exporter facility -- useful to do experiments with machine learning | file | diff | annotate |