2012-05-29 huffman [Tue, 29 May 2012 17:06:04 +0200] rev 48023
reordered sections
src/HOL/Library/Multiset.thy

2012-05-29 wenzelm [Tue, 29 May 2012 22:33:14 +0200] rev 48022
tuned message;
src/Tools/jEdit/src/plugin.scala

2012-05-29 wenzelm [Tue, 29 May 2012 22:24:31 +0200] rev 48021
separate syslog dockable -- discontinued tendency of sub-window management via tabs;
src/Tools/jEdit/lib/Tools/jedit src/Tools/jEdit/src/Isabelle.props src/Tools/jEdit/src/actions.xml src/Tools/jEdit/src/dockables.xml src/Tools/jEdit/src/session_dockable.scala src/Tools/jEdit/src/syslog_dockable.scala

2012-05-29 wenzelm [Tue, 29 May 2012 21:48:05 +0200] rev 48020
clarified prover startup: no timeout, read stderr more carefully;
src/Pure/System/isabelle_process.scala src/Pure/System/session.scala src/Tools/jEdit/src/Isabelle.props src/Tools/jEdit/src/plugin.scala

2012-05-29 wenzelm [Tue, 29 May 2012 21:03:11 +0200] rev 48019
need to close_input before expecting threads to terminate/join;
tuned signature;
src/Pure/System/isabelle_process.scala

2012-05-29 wenzelm [Tue, 29 May 2012 20:38:40 +0200] rev 48018
make double sure that GUI components are up-to-date after init;
src/Tools/jEdit/src/session_dockable.scala

2012-05-29 wenzelm [Tue, 29 May 2012 20:20:32 +0200] rev 48017
tuned message;
src/Pure/System/gui_setup.scala

2012-05-29 wenzelm [Tue, 29 May 2012 18:00:54 +0200] rev 48016
more explicit treatment of return code vs. session phase;
src/Pure/PIDE/isabelle_markup.scala src/Pure/System/isabelle_process.scala src/Pure/System/session.scala

2012-05-29 wenzelm [Tue, 29 May 2012 17:54:34 +0200] rev 48015
tuned signature;
src/Pure/General/properties.scala

2012-05-29 wenzelm [Tue, 29 May 2012 16:39:42 +0200] rev 48014
separate README dockable, which allows to make it more prominent first and remove it later;
src/Tools/jEdit/lib/Tools/jedit src/Tools/jEdit/src/Isabelle.props src/Tools/jEdit/src/actions.xml src/Tools/jEdit/src/dockables.xml src/Tools/jEdit/src/jEdit.props src/Tools/jEdit/src/readme_dockable.scala src/Tools/jEdit/src/session_dockable.scala