isabelle: Changelog

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);

wenzelm [Mon, 01 Dec 2008 17:07:06 +0100] rev 28932

makedist -- make Isabelle source distribution (Mercurial version);

wenzelm [Mon, 01 Dec 2008 15:22:17 +0100] rev 28931

renamed makedist_mercurial to makedist, deleting the old version;

wenzelm [Mon, 01 Dec 2008 14:46:27 +0100] rev 28930

updated to python2.5;

isabelle