Tue, 08 Apr 2014 14:59:36 +0200 |
wenzelm |
more uniform ML/document antiquotations;
|
file |
diff |
annotate
|
Tue, 25 Mar 2014 19:03:02 +0100 |
wenzelm |
proper configuration option "ML_print_depth";
|
file |
diff |
annotate
|
Mon, 24 Mar 2014 12:00:17 +0100 |
wenzelm |
discontinued Toplevel.debug in favour of system option "exception_trace";
|
file |
diff |
annotate
|
Wed, 19 Feb 2014 15:57:02 +0000 |
sultana |
cleaned code used to produce a proof-graph;
|
file |
diff |
annotate
|
Wed, 19 Feb 2014 15:57:02 +0000 |
sultana |
improved latex output: spacing between terms, and encoding terms in mathrm;
|
file |
diff |
annotate
|
Wed, 19 Feb 2014 15:57:02 +0000 |
sultana |
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 |
sultana |
updated TPTP parser to conform to version 5.4.0;
|
file |
diff |
annotate
|
Tue, 03 Sep 2013 21:46:40 +0100 |
sultana |
get_file_list now returns files sorted by size;
|
file |
diff |
annotate
|
Tue, 03 Sep 2013 21:46:40 +0100 |
sultana |
reading tptp status code;
|
file |
diff |
annotate
|
Mon, 23 Apr 2012 12:23:23 +0100 |
sultana |
improved non-interpretation of constants and numbers;
|
file |
diff |
annotate
|
Thu, 19 Apr 2012 07:25:41 +0100 |
sultana |
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 |
wenzelm |
eliminated hard tabs;
|
file |
diff |
annotate
|
Wed, 11 Apr 2012 20:42:28 +0200 |
wenzelm |
standardized ML aliases;
|
file |
diff |
annotate
|
Wed, 04 Apr 2012 16:29:17 +0100 |
sultana |
tuned;
|
file |
diff |
annotate
|
Wed, 04 Apr 2012 16:29:16 +0100 |
sultana |
refactored tptp yacc to bring close to official spec;
|
file |
diff |
annotate
|
Fri, 09 Mar 2012 15:38:55 +0000 |
sultana |
added tptp parser;
|
file |
diff |
annotate
|