Sat, 08 Sep 2001 20:02:59 +0200 ISABELLE_INTERFACE=none by default (cannot expect X11 everywhere);
wenzelm [Sat, 08 Sep 2001 20:02:59 +0200] rev 11552
ISABELLE_INTERFACE=none by default (cannot expect X11 everywhere);
Sat, 08 Sep 2001 20:02:09 +0200 * system: support Poly/ML 4.1.1 (large heaps);
wenzelm [Sat, 08 Sep 2001 20:02:09 +0200] rev 11551
* system: support Poly/ML 4.1.1 (large heaps); * system: smart selection of Isabelle process versus Isabelle interface, accomodates case-insensitive file systems (e.g. HFS+);
Sat, 08 Sep 2001 20:00:31 +0200 smart selection of isabelle-process versus isabelle-interface;
wenzelm [Sat, 08 Sep 2001 20:00:31 +0200] rev 11550
smart selection of isabelle-process versus isabelle-interface;
Tue, 04 Sep 2001 21:10:57 +0200 renamed "antecedent" case to "rule_context";
wenzelm [Tue, 04 Sep 2001 21:10:57 +0200] rev 11549
renamed "antecedent" case to "rule_context";
Tue, 04 Sep 2001 17:31:18 +0200 *** empty log message ***
nipkow [Tue, 04 Sep 2001 17:31:18 +0200] rev 11548
*** empty log message ***
Mon, 03 Sep 2001 10:28:52 +0200 *** empty log message ***
nipkow [Mon, 03 Sep 2001 10:28:52 +0200] rev 11547
*** empty log message ***
Sat, 01 Sep 2001 00:20:44 +0200 tuned;
wenzelm [Sat, 01 Sep 2001 00:20:44 +0200] rev 11546
tuned;
Sat, 01 Sep 2001 00:20:22 +0200 final proofs := 0;
wenzelm [Sat, 01 Sep 2001 00:20:22 +0200] rev 11545
final proofs := 0;
Sat, 01 Sep 2001 00:20:06 +0200 HOL-Real-Hyperreal made a plain session (no longer an image);
wenzelm [Sat, 01 Sep 2001 00:20:06 +0200] rev 11544
HOL-Real-Hyperreal made a plain session (no longer an image);
Sat, 01 Sep 2001 00:14:16 +0200 renamed `keep_derivs' to `proofs', and made an integer;
wenzelm [Sat, 01 Sep 2001 00:14:16 +0200] rev 11543
renamed `keep_derivs' to `proofs', and made an integer;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip