isabelle: Changelog

haftmann [Mon, 04 Jan 2010 16:00:23 +0100] rev 34250

moved name duplicates to end of theory; reduced warning noise

haftmann [Mon, 04 Jan 2010 14:10:13 +0100] rev 34249

merged

haftmann [Mon, 04 Jan 2010 14:09:58 +0100] rev 34248

modernized

haftmann [Mon, 04 Jan 2010 14:09:57 +0100] rev 34247

added applify combinator

haftmann [Mon, 04 Jan 2010 14:09:57 +0100] rev 34246

dropped redundant name declarations

haftmann [Mon, 04 Jan 2010 14:09:56 +0100] rev 34245

dropped copy operation for legacy TheoryDataFun

haftmann [Mon, 04 Jan 2010 14:09:56 +0100] rev 34244

code cache without copy; tuned

wenzelm [Mon, 04 Jan 2010 19:43:59 +0100] rev 34243

report keywords as singleton messages, control message kind via print mode;

wenzelm [Mon, 04 Jan 2010 18:56:36 +0100] rev 34242

explicit markup of document assigment message (simplified variant of earlier "edits" 8c3e1f73953d);

wenzelm [Mon, 04 Jan 2010 18:55:32 +0100] rev 34241

omit useless (?) scaladoc;

isabelle