sultana [Mon, 23 Apr 2012 12:23:23 +0100] rev 48559
disabled exception packaging in tptp;
sultana [Mon, 23 Apr 2012 12:23:23 +0100] rev 48558
moved function for testing problem-name parsing;
list of TPTP test files not immediately evaluated;
sultana [Mon, 23 Apr 2012 12:23:23 +0100] rev 48557
removed redundant function;
wenzelm [Sun, 22 Apr 2012 23:08:53 +0200] rev 48556
bundle Isabelle.exe;
huffman [Sun, 22 Apr 2012 21:32:35 +0200] rev 48555
tuned precedence order of transfer rules
wenzelm [Sun, 22 Apr 2012 22:02:52 +0200] rev 48554
updated generated files;
wenzelm [Sun, 22 Apr 2012 22:01:45 +0200] rev 48553
updated const "relcomp";
wenzelm [Sun, 22 Apr 2012 21:47:32 +0200] rev 48552
merged
wenzelm [Sun, 22 Apr 2012 21:43:57 +0200] rev 48551
support Cygwin cold-start via Isabelle.exe, assuming layout of bundle;
huffman [Sun, 22 Apr 2012 20:16:30 +0200] rev 48550
add transfer rule for set difference