isabelle: Changelog

haftmann [Mon, 01 Dec 2008 19:42:26 +0100] rev 28942

merged

haftmann [Mon, 01 Dec 2008 19:41:16 +0100] rev 28941

new Binding module

haftmann [Mon, 01 Dec 2008 16:02:57 +0100] rev 28940

Locale.*note* with conventional argument type

haftmann [Mon, 01 Dec 2008 14:56:08 +0100] rev 28939

added code equation for subset

ballarin [Mon, 01 Dec 2008 17:38:17 +0100] rev 28938

Merged again.

ballarin [Mon, 01 Dec 2008 17:37:02 +0100] rev 28937

Merged.

ballarin [Mon, 01 Dec 2008 16:59:31 +0100] rev 28936

No resolution of patterns within context statements.

wenzelm [Tue, 02 Dec 2008 17:50:25 +0100] rev 28935

removed CVS Id;

wenzelm [Mon, 01 Dec 2008 17:48:12 +0100] rev 28934

proper check of ISABELLE_TOOLS directories;

wenzelm [Mon, 01 Dec 2008 17:32:40 +0100] rev 28933

removed obsolete tags (leftover from old CVS branches);

isabelle