isabelle: Changelog

wenzelm [Wed, 11 Aug 2010 17:24:57 +0200] rev 38330

tuned eval_thms (cf. note etc. in proof.ML);

wenzelm [Wed, 11 Aug 2010 15:17:13 +0200] rev 38329

use Pretty.enum convenience;

wenzelm [Wed, 11 Aug 2010 15:00:31 +0200] rev 38328

tuned whitespace;

wenzelm [Wed, 11 Aug 2010 13:39:36 +0200] rev 38327

more precise and more maintainable dependencies;

wenzelm [Wed, 11 Aug 2010 12:50:33 +0200] rev 38326

merged, resolving conflict in src/Pure/IsaMakefile concerning General/xml_data.ML;

haftmann [Wed, 11 Aug 2010 12:04:06 +0200] rev 38325

* -> prod

haftmann [Wed, 11 Aug 2010 12:03:57 +0200] rev 38324

added .ML extension

haftmann [Wed, 11 Aug 2010 11:56:57 +0200] rev 38323

avoid old unnamed infix

haftmann [Wed, 11 Aug 2010 11:52:40 +0200] rev 38322

avoid inclusion of Natural module in generated code

haftmann [Wed, 11 Aug 2010 09:06:31 +0200] rev 38321

explicit ML extension

isabelle