Wed, 09 Mar 2016 19:30:09 +0100 | wenzelm | isabelle.Build uses ML_Process directly; | file | diff | annotate |
Mon, 29 Feb 2016 20:35:06 +0100 | wenzelm | isabelle_process executable no longer supports writable heap images; | file | diff | annotate |
Tue, 03 Sep 2013 21:46:41 +0100 | sultana | updated syntax to use 'ML_file' rather than 'uses'; | file | diff | annotate |
Tue, 03 Sep 2013 21:46:40 +0100 | sultana | corrected syntax filter; | file | diff | annotate |
Tue, 17 Apr 2012 16:14:07 +0100 | sultana | improved tptp_graph robustness by relying on thy; | file | diff | annotate |
Sat, 14 Apr 2012 15:08:59 +0100 | sultana | aligned tptp_graph dependencies to Isabelle conventions; | file | diff | annotate |
Tue, 10 Apr 2012 06:45:15 +0100 | sultana | added graph-conversion utility for TPTP files | file | diff | annotate |