isabelle: Changelog

berghofe [Mon, 10 Nov 2008 17:34:26 +0100] rev 28729

Some more functions for accessing information about atoms.

ballarin [Mon, 10 Nov 2008 14:36:49 +0100] rev 28728

Made doc compatible with the system.

haftmann [Mon, 10 Nov 2008 09:03:28 +0100] rev 28727

clarified verbatim vs. typewriter

haftmann [Mon, 10 Nov 2008 08:18:58 +0100] rev 28726

using explicit interpretaton prefix in Name.binding (still on the surface)

haftmann [Mon, 10 Nov 2008 08:18:57 +0100] rev 28725

explicit interpretation prefix in Name.binding

haftmann [Mon, 10 Nov 2008 08:18:56 +0100] rev 28724

tuned

haftmann [Fri, 07 Nov 2008 08:57:15 +0100] rev 28723

exported codegen_preproc

ballarin [Thu, 06 Nov 2008 12:30:49 +0100] rev 28722

Minor cleanup.

ballarin [Thu, 06 Nov 2008 12:29:51 +0100] rev 28721

Keyword 'includes' gone.

nipkow [Thu, 06 Nov 2008 11:52:50 +0100] rev 28720

tuned

isabelle