isabelle: Changelog

bulwahn [Thu, 16 Sep 2010 13:49:14 +0200] rev 39467

adding another context free grammar example for the predicate compiler

bulwahn [Thu, 16 Sep 2010 13:49:12 +0200] rev 39466

adding values to show and ensure that values works with complex terms and restores numerals on natural numbers

bulwahn [Thu, 16 Sep 2010 13:49:11 +0200] rev 39465

adding restoring of numerals for natural numbers for values command

bulwahn [Thu, 16 Sep 2010 13:49:10 +0200] rev 39464

values command for prolog supports complex terms and not just variables

bulwahn [Thu, 16 Sep 2010 13:49:08 +0200] rev 39463

adapting examples

bulwahn [Thu, 16 Sep 2010 13:49:06 +0200] rev 39462

registering code_prolog as component; using environment variable; adding settings file for prolog code generation

bulwahn [Thu, 16 Sep 2010 13:49:04 +0200] rev 39461

adding mode inference to prolog compilation; separate between (ad-hoc) code modifications and system_configuration; adapting quickcheck

paulson [Thu, 16 Sep 2010 15:34:31 +0100] rev 39460

merged

paulson [Thu, 16 Sep 2010 15:33:42 +0100] rev 39459

tidied a few proofs

blanchet [Thu, 16 Sep 2010 14:26:09 +0200] rev 39458

merged

isabelle