isabelle: Changelog

haftmann [Wed, 22 Sep 2010 10:30:24 +0200] rev 39610

tuned text

haftmann [Wed, 22 Sep 2010 10:22:50 +0200] rev 39609

sections on @{code} and code_reflect

haftmann [Wed, 22 Sep 2010 10:04:17 +0200] rev 39608

formal syntax diagram for code_reflect

haftmann [Wed, 22 Sep 2010 09:40:11 +0200] rev 39607

distinguish SML and Eval explicitly

haftmann [Tue, 21 Sep 2010 15:46:06 +0200] rev 39606

no_frees_* is subsumed by new framework mechanisms in Code_Preproc

haftmann [Tue, 21 Sep 2010 15:46:06 +0200] rev 39605

reject term variables explicitly

haftmann [Tue, 21 Sep 2010 15:46:05 +0200] rev 39604

avoid frees and vars in terms to be evaluated by abstracting and applying

haftmann [Tue, 21 Sep 2010 15:46:05 +0200] rev 39603

tuned whitespace

blanchet [Wed, 22 Sep 2010 10:02:39 +0200] rev 39602

make SML/NJ happier

haftmann [Tue, 21 Sep 2010 14:42:29 +0200] rev 39601

more conventional conversion signature

isabelle