2010-09-23 haftmann [Thu, 23 Sep 2010 09:53:52 +0200] rev 39644
CONTRIBUTORS and NEWS
CONTRIBUTORS NEWS

2010-09-23 haftmann [Thu, 23 Sep 2010 08:30:33 +0200] rev 39643
corrections and tuning
doc-src/Codegen/Thy/Adaptation.thy doc-src/Codegen/Thy/Evaluation.thy doc-src/Codegen/Thy/document/Adaptation.tex doc-src/Codegen/Thy/document/Evaluation.tex

2010-09-22 haftmann [Wed, 22 Sep 2010 18:40:35 +0200] rev 39642
merged

2010-09-22 haftmann [Wed, 22 Sep 2010 18:40:23 +0200] rev 39641
merged

2010-09-22 haftmann [Wed, 22 Sep 2010 17:11:27 +0200] rev 39640
merged

2010-09-22 haftmann [Wed, 22 Sep 2010 12:22:47 +0200] rev 39639
tuned
src/Pure/Isar/named_target.ML

2010-09-24 wenzelm [Fri, 24 Sep 2010 14:47:01 +0200] rev 39638
persistent session-panel.selection;
src/Tools/jEdit/src/jedit/session_dockable.scala

2010-09-24 wenzelm [Fri, 24 Sep 2010 14:14:21 +0200] rev 39637
slightly more robust EditBus plumbing wrt. Document_View/Document_Model;
src/Tools/jEdit/src/jedit/plugin.scala

2010-09-24 wenzelm [Fri, 24 Sep 2010 14:12:33 +0200] rev 39636
permissive exit;
src/Tools/jEdit/src/jedit/document_model.scala src/Tools/jEdit/src/jedit/document_view.scala

2010-09-24 wenzelm [Fri, 24 Sep 2010 00:00:21 +0200] rev 39635
added Session_Dockable.session_phase label;
src/Tools/jEdit/src/jedit/session_dockable.scala