isabelle: Changelog

bulwahn [Thu, 29 Jul 2010 17:27:55 +0200] rev 38076

correcting scanning

bulwahn [Thu, 29 Jul 2010 17:27:55 +0200] rev 38075

adding values command and parsing prolog output

bulwahn [Thu, 29 Jul 2010 17:27:54 +0200] rev 38074

adding example file for prolog code generation; adding prolog code generation example to IsaMakefile

bulwahn [Thu, 29 Jul 2010 17:27:52 +0200] rev 38073

adding a mockup version for prolog code generation

bulwahn [Thu, 29 Jul 2010 17:27:51 +0200] rev 38072

exporting retrieval function for graph of introduction rules in the predicate compiler core

haftmann [Thu, 29 Jul 2010 15:07:52 +0200] rev 38071

merged

haftmann [Thu, 29 Jul 2010 12:28:45 +0200] rev 38070

rebinding ref is illegal

haftmann [Thu, 29 Jul 2010 12:28:45 +0200] rev 38069

tuned example

haftmann [Thu, 29 Jul 2010 12:28:45 +0200] rev 38068

intermediate operation avoids invariance problem in Scala

blanchet [Thu, 29 Jul 2010 12:07:09 +0200] rev 38067

merged

isabelle