Tue, 03 Sep 2019 16:10:31 +0200 |
\----- start update Isabelle2018 --> Isabelle2019
|
file | diff | annotate |
Fri, 19 Jan 2018 12:49:17 +0100 |
\----- start update Isabelle2015 --> Isabelle2017
|
file | diff | annotate |
Sat, 05 Dec 2015 16:09:41 +0100 |
switched from Isabelle2014 to Isabelle2015, intermediate state
|
file | diff | annotate |
Tue, 08 Apr 2014 14:59:36 +0200 |
more uniform ML/document antiquotations;
|
file | diff | annotate |
Tue, 25 Mar 2014 19:03:02 +0100 |
proper configuration option "ML_print_depth";
|
file | diff | annotate |
Mon, 24 Mar 2014 12:00:17 +0100 |
discontinued Toplevel.debug in favour of system option "exception_trace";
|
file | diff | annotate |
Wed, 19 Feb 2014 15:57:02 +0000 |
cleaned code used to produce a proof-graph;
|
file | diff | annotate |
Wed, 19 Feb 2014 15:57:02 +0000 |
improved latex output: spacing between terms, and encoding terms in mathrm;
|
file | diff | annotate |
Wed, 19 Feb 2014 15:57:02 +0000 |
experimenting with improving DOT output, and embedding LaTeX code for formulas (rather than only giving the clause number);
|
file | diff | annotate |
Tue, 03 Sep 2013 21:46:41 +0100 |
updated TPTP parser to conform to version 5.4.0;
|
file | diff | annotate |
Tue, 03 Sep 2013 21:46:40 +0100 |
get_file_list now returns files sorted by size;
|
file | diff | annotate |
Tue, 03 Sep 2013 21:46:40 +0100 |
reading tptp status code;
|
file | diff | annotate |
Mon, 23 Apr 2012 12:23:23 +0100 |
improved non-interpretation of constants and numbers;
|
file | diff | annotate |
Thu, 19 Apr 2012 07:25:41 +0100 |
exceptions related to interpreting tptp problems now mention the relevant position in the tptp file;
|
file | diff | annotate |
Fri, 13 Apr 2012 13:59:35 +0200 |
eliminated hard tabs;
|
file | diff | annotate |
Wed, 11 Apr 2012 20:42:28 +0200 |
standardized ML aliases;
|
file | diff | annotate |
Wed, 04 Apr 2012 16:29:17 +0100 |
tuned;
|
file | diff | annotate |
Wed, 04 Apr 2012 16:29:16 +0100 |
refactored tptp yacc to bring close to official spec;
|
file | diff | annotate |
Fri, 09 Mar 2012 15:38:55 +0000 |
added tptp parser;
|
file | diff | annotate |