| 2005-10-21 ago |
added simplified settings for Poly/ML 4.x (commented out);
|
file | diff | annotate |
| 2005-10-21 ago |
reverted (accidental?) change of 1.148;
|
file | diff | annotate |
| 2005-10-21 ago |
Merged theory ResAtpOracle.thy into ResAtpMethods.thy
|
file | diff | annotate |
| 2005-10-19 ago |
moved VAMPIRE_HOME, E_HOME to section "External reasoning tools" -- commented out by default!
|
file | diff | annotate |
| 2005-10-19 ago |
Added files in order to use external ATPs as oracles and invoke these ATPs by calling Isabelle methods (currently "vampire" and "eprover").
|
file | diff | annotate |
| 2005-10-11 ago |
tuned;
|
file | diff | annotate |
| 2005-10-08 ago |
Poplog/PML: ML_SUFFIX=.psv;
|
file | diff | annotate |
| 2005-10-05 ago |
added Poplog/PML version 15.6/2.1 (experimental!);
|
file | diff | annotate |
| 2005-09-21 ago |
PROOFGENERAL_OPTIONS: smart fall-back on plain emacs (back again);
|
file | diff | annotate |
| 2005-09-20 ago |
pointers to src/HOL/Tools/sat_solver.ML added in comments
|
file | diff | annotate |
| 2005-09-14 ago |
no longer prefer xemacs, which fails more often than GNU emacs;
|
file | diff | annotate |
| 2005-08-18 ago |
tuned;
|
file | diff | annotate |
| 2005-08-16 ago |
-V outline=/proof,/ML;
|
file | diff | annotate |
| 2005-08-02 ago |
tuned ML_OPTIONS;
|
file | diff | annotate |
| 2005-08-02 ago |
tuned;
|
file | diff | annotate |
| 2005-08-01 ago |
polyml: use polyml-platform/version from Isabelle distribution;
|
file | diff | annotate |
| 2005-08-01 ago |
1. changed configuration variables for linear programming (Cplex_tools):
|
file | diff | annotate |
| 2005-07-19 ago |
retract accidental user commit;
|
file | diff | annotate |
| 2005-07-19 ago |
proving bounds for real linear programs
|
file | diff | annotate |
| 2005-07-12 ago |
added lemmas to OrderedGroup.thy (reasoning about signs, absolute value, triangle inequalities)
|
file | diff | annotate |
| 2005-06-17 ago |
updated;
|
file | diff | annotate |
| 2005-06-05 ago |
#SMLNJ_CYGWIN_RUNTIME=1
|
file | diff | annotate |
| 2005-06-02 ago |
renamed HOL_PROOF_OBJECTS to HOL_USEDIR_OPTIONS;
|
file | diff | annotate |
| 2005-05-17 ago |
removed ISAMODE settings;
|
file | diff | annotate |
| 2005-04-29 ago |
added antiquotations typeof, const, term_style, thm_style, term_type (something still to be done)
|
file | diff | annotate |
| 2005-04-29 ago |
added antiquotations typeof, const, term_style, thm_style, term_type (something still to be done)
|
file | diff | annotate |
| 2005-04-27 ago |
removed --version which is not a valid polyml flag and has no effect
|
file | diff | annotate |
| 2005-04-26 ago |
reverted accidental commit of user modification;
|
file | diff | annotate |
| 2005-04-20 ago |
Fix automatic determination of poly version.
|
file | diff | annotate |
| 2005-04-20 ago |
Removed remaining references to Main.thy in reconstruction code.
|
file | diff | annotate |
| 2005-04-14 ago |
Include automatic determination of poly version.
|
file | diff | annotate |
| 2005-04-13 ago |
*** MESSAGE REFERS TO PREVIOUS VERSION ***
|
file | diff | annotate |
| 2005-04-13 ago |
*** empty log message ***
|
file | diff | annotate |
| 2005-03-04 ago |
Removed practically all references to Library.foldr.
|
file | diff | annotate |
| 2005-02-06 ago |
fixed mac line
|
file | diff | annotate |
| 2004-11-25 ago |
added ZCHAFF_VERSION
|
file | diff | annotate |
| 2004-11-14 ago |
*** empty log message ***
|
file | diff | annotate |
| 2004-11-14 ago |
DOCTYPE declaration added
|
file | diff | annotate |
| 2004-10-04 ago |
PDF_VIEWER suggestion
|
file | diff | annotate |
| 2004-09-30 ago |
display pdf as well as dvi
|
file | diff | annotate |
| 2004-06-21 ago |
Merged in license change from Isabelle2004
|
file | diff | annotate |
| 2004-06-15 ago |
Jerusat settings added
|
file | diff | annotate |
| 2004-06-15 ago |
entries for ZChaff and BerkMin added/modified
|
file | diff | annotate |
| 2004-06-13 ago |
added PRINT_COMMAND setting
|
file | diff | annotate |
| 2004-06-05 ago |
removed mlworks and smlnj-0.93 (obsolete);
|
file | diff | annotate |
| 2004-04-17 ago |
do not mention poly 3.x any more (it is untested)
|
file | diff | annotate |
| 2004-03-11 ago |
look for multi platform poly first, choose shrink wrapped poly-4.1.3 (guess) only
|
file | diff | annotate |
| 2004-03-10 ago |
ZCHAFF_HOME variable added
|
file | diff | annotate |
| 2004-03-09 ago |
include more explanation of variables
|
file | diff | annotate |
| 2004-01-08 ago |
run makeindex if necessary
|
file | diff | annotate |
| 2003-10-31 ago |
fixed
|
file | diff | annotate |
| 2003-10-31 ago |
set isatool usedir to verbose by default
|
file | diff | annotate |
| 2003-05-26 ago |
set HOL_PROOF_OBJECTS in settings, not makefile (makes override in user settings possible)
|
file | diff | annotate |
| 2003-04-23 ago |
more documentation
|
file | diff | annotate |
| 2002-03-01 ago |
tuned;
|
file | diff | annotate |
| 2002-01-21 ago |
wild guess at polyml-4.1.2;
|
file | diff | annotate |
| 2002-01-14 ago |
ML_OPTIONS="-h 15000" (used to be 30000);
|
file | diff | annotate |
| 2002-01-09 ago |
removed TEXINPUTS;
|
file | diff | annotate |
| 2001-12-19 ago |
tuned;
|
file | diff | annotate |
| 2001-12-12 ago |
removed installfonts, xterm interface;
|
file | diff | annotate |