isabelle: Changelog

wenzelm [Sat, 03 Mar 2012 22:17:52 +0100] rev 46778

tuned;

wenzelm [Sat, 03 Mar 2012 22:11:51 +0100] rev 46777

tuned;

wenzelm [Sat, 03 Mar 2012 21:52:15 +0100] rev 46776

tuned;

wenzelm [Sat, 03 Mar 2012 21:43:59 +0100] rev 46775

canonical argument order for attribute application;

wenzelm [Sat, 03 Mar 2012 18:18:39 +0100] rev 46774

clarified terminology of raw protocol messages;

wenzelm [Sat, 03 Mar 2012 17:46:50 +0100] rev 46773

tuned;

wenzelm [Sat, 03 Mar 2012 17:30:14 +0100] rev 46772

tuned signature -- emphasize Isabelle_Process Input vs. Output;

wenzelm [Sat, 03 Mar 2012 16:59:30 +0100] rev 46771

explicit syslog_limit reduces danger of low-level message flooding; tuned;

wenzelm [Sat, 03 Mar 2012 14:04:49 +0100] rev 46770

retain original "uses" (again) -- still required for Thy_Load.use_file etc. in ML (notably for maintaining required/provided); tuned;

wenzelm [Sat, 03 Mar 2012 11:31:12 +0100] rev 46769

clarified scope of exception handlers;

isabelle