isabelle: Changelog

wenzelm [Wed, 03 Dec 2008 21:15:46 +0100] rev 28956

eliminated traces of old Distribution directory;

wenzelm [Wed, 03 Dec 2008 21:02:20 +0100] rev 28955

merged

wenzelm [Wed, 03 Dec 2008 21:02:12 +0100] rev 28954

remove *.lof as well;

haftmann [Wed, 03 Dec 2008 15:59:56 +0100] rev 28953

merged

haftmann [Wed, 03 Dec 2008 15:58:44 +0100] rev 28952

made repository layout more coherent with logical distribution structure; stripped some $Id$s

ballarin [Wed, 03 Dec 2008 15:27:41 +0100] rev 28951

Sublocale: removed public after_qed; identifiers private to NewLocale.

ballarin [Wed, 03 Dec 2008 15:26:46 +0100] rev 28950

Made global_note_qualified public.

webertj [Wed, 03 Dec 2008 14:02:24 +0000] rev 28949

more examples

haftmann [Wed, 03 Dec 2008 09:53:58 +0100] rev 28948

fixed typo

haftmann [Wed, 03 Dec 2008 09:51:35 +0100] rev 28947

unfold_locales is default method - no need for explicit references

isabelle