isabelle: Changelog

wenzelm [Thu, 29 Oct 2009 18:53:58 +0100] rev 33334

merged

wenzelm [Thu, 29 Oct 2009 18:17:26 +0100] rev 33333

merged

bulwahn [Thu, 29 Oct 2009 14:06:49 +0100] rev 33332

removing ancient predicate compiler files

bulwahn [Thu, 29 Oct 2009 14:03:55 +0100] rev 33331

merged

bulwahn [Thu, 29 Oct 2009 13:59:37 +0100] rev 33330

encapsulating records with datatype constructors and adding type annotations to make SML/NJ happy

bulwahn [Wed, 28 Oct 2009 12:29:03 +0100] rev 33329

improved mode parser; added mode annotations to examples

bulwahn [Wed, 28 Oct 2009 12:29:02 +0100] rev 33328

moved datatype mode and string functions to the auxillary structure

bulwahn [Wed, 28 Oct 2009 12:29:01 +0100] rev 33327

improving mode parsing in the predicate compiler

bulwahn [Wed, 28 Oct 2009 12:29:00 +0100] rev 33326

improved handling of alternative rules; added test cases for alternative rules; normalized tracing in the predicate compiler

paulson [Thu, 29 Oct 2009 16:22:14 +0000] rev 33325

merged

isabelle