isabelle: Changelog

haftmann [Sat, 03 Mar 2012 21:00:24 +0100] rev 46781

explicit locations for import_theory and setup_theory, for better user interface conformance; spurious set/pred correction

haftmann [Sat, 03 Mar 2012 21:00:04 +0100] rev 46780

explicit locations for import_theory and setup_theory, for better user interface conformance

wenzelm [Sat, 03 Mar 2012 22:27:30 +0100] rev 46779

discontinued obsolete Library.foldl_map and Library.apply (NB: apply = fold I);

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;

isabelle