Sun, 05 Jun 2005 11:31:13 +0200 |
wenzelm |
#SMLNJ_CYGWIN_RUNTIME=1
|
file |
diff |
annotate
|
Thu, 02 Jun 2005 18:29:46 +0200 |
wenzelm |
renamed HOL_PROOF_OBJECTS to HOL_USEDIR_OPTIONS;
|
file |
diff |
annotate
|
Tue, 17 May 2005 18:10:35 +0200 |
wenzelm |
removed ISAMODE settings;
|
file |
diff |
annotate
|
Fri, 29 Apr 2005 08:05:06 +0200 |
haftmann |
added antiquotations typeof, const, term_style, thm_style, term_type (something still to be done)
|
file |
diff |
annotate
|
Fri, 29 Apr 2005 08:03:01 +0200 |
haftmann |
added antiquotations typeof, const, term_style, thm_style, term_type (something still to be done)
|
file |
diff |
annotate
|
Wed, 27 Apr 2005 23:04:50 +0200 |
gagern |
removed --version which is not a valid polyml flag and has no effect
|
file |
diff |
annotate
|
Tue, 26 Apr 2005 19:50:31 +0200 |
wenzelm |
reverted accidental commit of user modification;
|
file |
diff |
annotate
|
Wed, 20 Apr 2005 22:37:29 +0200 |
gagern |
Fix automatic determination of poly version.
|
file |
diff |
annotate
|
Wed, 20 Apr 2005 16:03:17 +0200 |
quigley |
Removed remaining references to Main.thy in reconstruction code.
|
file |
diff |
annotate
|
Thu, 14 Apr 2005 19:30:57 +0200 |
aspinall |
Include automatic determination of poly version.
|
file |
diff |
annotate
|
Wed, 13 Apr 2005 18:48:05 +0200 |
wenzelm |
*** MESSAGE REFERS TO PREVIOUS VERSION ***
|
file |
diff |
annotate
|
Wed, 13 Apr 2005 18:34:22 +0200 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
Fri, 04 Mar 2005 15:07:34 +0100 |
skalberg |
Removed practically all references to Library.foldr.
|
file |
diff |
annotate
|
Sun, 06 Feb 2005 13:12:32 +0100 |
paulson |
fixed mac line
|
file |
diff |
annotate
|
Thu, 25 Nov 2004 14:38:37 +0100 |
webertj |
added ZCHAFF_VERSION
|
file |
diff |
annotate
|
Sun, 14 Nov 2004 01:56:58 +0100 |
webertj |
*** empty log message ***
|
file |
diff |
annotate
|
Sun, 14 Nov 2004 01:40:27 +0100 |
webertj |
DOCTYPE declaration added
|
file |
diff |
annotate
|
Mon, 04 Oct 2004 15:25:28 +0200 |
paulson |
PDF_VIEWER suggestion
|
file |
diff |
annotate
|
Thu, 30 Sep 2004 07:14:34 +0200 |
kleing |
display pdf as well as dvi
|
file |
diff |
annotate
|
Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
Tue, 15 Jun 2004 00:50:10 +0200 |
webertj |
Jerusat settings added
|
file |
diff |
annotate
|
Tue, 15 Jun 2004 00:06:40 +0200 |
webertj |
entries for ZChaff and BerkMin added/modified
|
file |
diff |
annotate
|
Sun, 13 Jun 2004 15:28:46 +0200 |
wenzelm |
added PRINT_COMMAND setting
|
file |
diff |
annotate
|
Sat, 05 Jun 2004 13:06:49 +0200 |
wenzelm |
removed mlworks and smlnj-0.93 (obsolete);
|
file |
diff |
annotate
|
Sat, 17 Apr 2004 13:56:59 +0200 |
kleing |
do not mention poly 3.x any more (it is untested)
|
file |
diff |
annotate
|
Thu, 11 Mar 2004 03:53:43 +0100 |
kleing |
look for multi platform poly first, choose shrink wrapped poly-4.1.3 (guess) only
|
file |
diff |
annotate
|
Wed, 10 Mar 2004 20:21:08 +0100 |
webertj |
ZCHAFF_HOME variable added
|
file |
diff |
annotate
|
Tue, 09 Mar 2004 04:19:41 +0100 |
kleing |
include more explanation of variables
|
file |
diff |
annotate
|
Thu, 08 Jan 2004 04:32:52 +0100 |
kleing |
run makeindex if necessary
|
file |
diff |
annotate
|
Fri, 31 Oct 2003 06:54:22 +0100 |
kleing |
fixed
|
file |
diff |
annotate
|