isabelle: Changelog

wenzelm [Fri, 28 May 1999 13:30:59 +0200] rev 6746

tuned formal comments;

wenzelm [Fri, 28 May 1999 11:42:07 +0200] rev 6745

tuned manual.bib;

wenzelm [Thu, 27 May 1999 20:49:10 +0200] rev 6744

changed {| |} verbatim syntax to {* *};

wenzelm [Thu, 27 May 1999 20:47:30 +0200] rev 6743

changed {| |} verbatim syntax to {* *} in order to simplify ProofGeneral setup;

wenzelm [Thu, 27 May 1999 20:45:20 +0200] rev 6742

improved undo / kill operations;

paulson [Thu, 27 May 1999 11:39:44 +0200] rev 6741

fixed corruptoin of end of file

paulson [Thu, 27 May 1999 11:22:10 +0200] rev 6740

removal of Always_StableI

paulson [Thu, 27 May 1999 11:19:45 +0200] rev 6739

replaced rules Always_ConstrainsI/D by equivalences Always_Constrains_pre, Always_Constrains_post

paulson [Thu, 27 May 1999 10:13:52 +0200] rev 6738

component_eq_subset: a neat characterization of "component"

wenzelm [Wed, 26 May 1999 22:45:59 +0200] rev 6737

ex/Points Isar'ized;

isabelle