isabelle: Changelog

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);

berghofe [Fri, 31 Aug 2001 16:49:06 +0200] rev 11537

New code generators for HOL.

isabelle