2015-05-23 wenzelm [Sat, 23 May 2015 17:19:37 +0200] rev 60299 Isabelle2015
clarified NEWS: document_files are officially required since Isabelle2014, but the absence was tolerated as legacy feature;
NEWS

2015-05-22 wenzelm [Fri, 22 May 2015 18:13:31 +0200] rev 60298
updated Eisbach manual, using version 3149f9146eb5 of its Bitbucket repository;
src/Doc/Eisbach/Manual.thy src/Doc/Eisbach/Preface.thy

2015-05-22 wenzelm [Fri, 22 May 2015 15:13:49 +0200] rev 60297
tuned;
src/Doc/Isar_Ref/Spec.thy

2015-05-22 wenzelm [Fri, 22 May 2015 15:10:35 +0200] rev 60296
tuned;
src/Doc/JEdit/JEdit.thy

2015-05-21 wenzelm [Thu, 21 May 2015 14:03:17 +0200] rev 60295
updated versions;
Admin/Release/CHECKLIST src/Tools/jEdit/src/Isabelle.props

2015-05-21 wenzelm [Thu, 21 May 2015 11:55:57 +0200] rev 60294
tuned;
Admin/Release/CHECKLIST

2015-05-21 wenzelm [Thu, 21 May 2015 00:24:02 +0200] rev 60293
tuned;
src/Doc/JEdit/JEdit.thy

2015-05-20 wenzelm [Wed, 20 May 2015 22:22:27 +0200] rev 60292
cell-specific row height based on its font, e.g. relevant for DPI scaling on Windows;
src/Tools/Graphview/tree_panel.scala src/Tools/jEdit/src/documentation_dockable.scala

2015-05-19 wenzelm [Tue, 19 May 2015 18:34:16 +0200] rev 60291
more on displays with very high resolution;
src/Doc/JEdit/JEdit.thy src/Doc/JEdit/document/isabelle-jedit-hdpi.png src/Doc/ROOT

2015-05-18 Lars Noschinski <noschinl@in.tum.de> [Mon, 18 May 2015 16:59:09 +0200] rev 60290
add Haskabelle-2015 component
Admin/components/components.sha1 Admin/components/main