isabelle: Changelog

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;

wenzelm [Sat, 01 Sep 2001 00:20:22 +0200] rev 11545

final proofs := 0;

wenzelm [Sat, 01 Sep 2001 00:20:06 +0200] rev 11544

HOL-Real-Hyperreal made a plain session (no longer an image);

wenzelm [Sat, 01 Sep 2001 00:14:16 +0200] rev 11543

renamed `keep_derivs' to `proofs', and made an integer;

wenzelm [Fri, 31 Aug 2001 22:46:23 +0200] rev 11542

* Proof General keywords specification is now part of the Isabelle distribution (see etc/isar-keywords.el);

wenzelm [Fri, 31 Aug 2001 22:45:08 +0200] rev 11541

proper use of invent_names;

wenzelm [Fri, 31 Aug 2001 22:44:44 +0200] rev 11540

fixed header;

wenzelm [Fri, 31 Aug 2001 18:46:48 +0200] rev 11539

tuned headers;

wenzelm [Fri, 31 Aug 2001 18:43:27 +0200] rev 11538

keyword classification tables for Isabelle/Isar Proof General (generated by ProofGeneral.write_keywords from Isabelle/HOLCF/IOA);

isabelle