oheimb [Mon, 10 Sep 2001 17:35:22 +0200] rev 11558
simplified vnam/vname, introduced fname, improved comments
wenzelm [Mon, 10 Sep 2001 13:57:57 +0200] rev 11557
tuned usage;
wenzelm [Sat, 08 Sep 2001 20:06:13 +0200] rev 11556
print_state: subgoals;
wenzelm [Sat, 08 Sep 2001 20:05:32 +0200] rev 11555
export pretty_goals;
wenzelm [Sat, 08 Sep 2001 20:05:14 +0200] rev 11554
result_error_default: output *single* error message;
wenzelm [Sat, 08 Sep 2001 20:03:22 +0200] rev 11553
tuned;
wenzelm [Sat, 08 Sep 2001 20:02:59 +0200] rev 11552
ISABELLE_INTERFACE=none by default (cannot expect X11 everywhere);
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+);
wenzelm [Sat, 08 Sep 2001 20:00:31 +0200] rev 11550
smart selection of isabelle-process versus isabelle-interface;
wenzelm [Tue, 04 Sep 2001 21:10:57 +0200] rev 11549
renamed "antecedent" case to "rule_context";