isabelle: Changelog

wenzelm [Sat, 21 May 2011 11:31:59 +0200] rev 42906

optional jedit_build/etc/user-settings enable to override defaults produced by late component initialization;

wenzelm [Sat, 21 May 2011 00:09:18 +0200] rev 42905

merged

hoelzl [Fri, 20 May 2011 21:38:32 +0200] rev 42904

add divide_.._cancel, inverse_.._iff

hoelzl [Fri, 20 May 2011 21:38:32 +0200] rev 42903

add surj_vimage_empty

hoelzl [Fri, 20 May 2011 21:38:32 +0200] rev 42902

Add restricted borel measure to {0 .. 1}

hoelzl [Fri, 20 May 2011 21:38:32 +0200] rev 42901

equations for subsets of atLeastAtMost

wenzelm [Sat, 21 May 2011 00:01:15 +0200] rev 42900

build and run Isabelle/jEdit on the spot -- requires auxiliary "jedit_build" component;

wenzelm [Sat, 21 May 2011 00:00:14 +0200] rev 42899

misc tuning and update;

wenzelm [Fri, 20 May 2011 23:59:46 +0200] rev 42898

updated versions;

wenzelm [Fri, 20 May 2011 20:44:03 +0200] rev 42897

added Isabelle_Process.is_active; tuned signature;

isabelle