2017-01-07 wenzelm [Sat, 07 Jan 2017 14:34:53 +0100] rev 64817
separate Buffer_Model vs. File_Model;
misc tuning and clarification;
src/Tools/jEdit/src/bibtex_jedit.scala src/Tools/jEdit/src/document_model.scala src/Tools/jEdit/src/document_view.scala src/Tools/jEdit/src/isabelle.scala src/Tools/jEdit/src/jedit_editor.scala src/Tools/jEdit/src/plugin.scala src/Tools/jEdit/src/theories_dockable.scala

2017-01-07 wenzelm [Sat, 07 Jan 2017 11:22:13 +0100] rev 64816
tuned;
src/Pure/PIDE/text.scala src/Tools/VSCode/src/document_model.scala

2017-01-07 wenzelm [Sat, 07 Jan 2017 09:42:57 +0100] rev 64815
tuned;
src/Pure/PIDE/document.scala src/Tools/VSCode/src/document_model.scala src/Tools/VSCode/src/vscode_resources.scala

2017-01-06 wenzelm [Fri, 06 Jan 2017 23:25:18 +0100] rev 64814
tuned;
src/Pure/PIDE/document.scala src/Tools/VSCode/src/document_model.scala

2017-01-06 wenzelm [Fri, 06 Jan 2017 13:27:18 +0100] rev 64813
manage buffer models as explicit global state;
tuned signature;
src/Tools/jEdit/src/bibtex_jedit.scala src/Tools/jEdit/src/document_model.scala src/Tools/jEdit/src/isabelle.scala src/Tools/jEdit/src/isabelle_sidekick.scala src/Tools/jEdit/src/jedit_editor.scala src/Tools/jEdit/src/jedit_resources.scala src/Tools/jEdit/src/plugin.scala src/Tools/jEdit/src/state_dockable.scala src/Tools/jEdit/src/theories_dockable.scala

2017-01-06 wenzelm [Fri, 06 Jan 2017 11:58:29 +0100] rev 64812
tuned signature;
src/Tools/VSCode/src/vscode_resources.scala

2017-01-07 haftmann [Sat, 07 Jan 2017 09:56:33 +0100] rev 64811
obsolete
src/HOL/Library/Polynomial.thy

2017-01-05 wenzelm [Thu, 05 Jan 2017 22:57:59 +0100] rev 64810
more informative error for spurious crash;
src/Pure/Concurrent/standard_thread.scala src/Tools/VSCode/src/channel.scala src/Tools/VSCode/src/server.scala

2017-01-05 wenzelm [Thu, 05 Jan 2017 22:38:06 +0100] rev 64809
merged

2017-01-05 wenzelm [Thu, 05 Jan 2017 22:37:52 +0100] rev 64808
tuned;
src/Tools/VSCode/src/grammar.scala