2016-12-21 wenzelm [Wed, 21 Dec 2016 16:28:02 +0100] rev 64645
proper pattern match;
src/Tools/VSCode/src/server.scala

2016-12-21 wenzelm [Wed, 21 Dec 2016 16:22:23 +0100] rev 64644
more explicit error;
src/Tools/VSCode/src/server.scala

2016-12-21 wenzelm [Wed, 21 Dec 2016 16:14:47 +0100] rev 64643
more explicit error;
src/Tools/VSCode/src/server.scala

2016-12-21 wenzelm [Wed, 21 Dec 2016 16:02:52 +0100] rev 64642
display messages, according to regular Isabelle Output;
src/Tools/VSCode/src/channel.scala src/Tools/VSCode/src/server.scala

2016-12-21 wenzelm [Wed, 21 Dec 2016 11:55:59 +0100] rev 64641
tuned;
src/Tools/VSCode/src/server.scala

2016-12-21 wenzelm [Wed, 21 Dec 2016 11:41:05 +0100] rev 64640
clarified node_name: preserve original uri;
src/Tools/VSCode/src/vscode_resources.scala

2016-12-21 wenzelm [Wed, 21 Dec 2016 11:21:46 +0100] rev 64639
clarified directories;
src/Pure/General/utf8.scala src/Pure/System/utf8.scala src/Pure/build-jars

2016-12-23 blanchet [Fri, 23 Dec 2016 00:13:30 +0100] rev 64638
generalized generation of coinduction goal (towards nonuniform codatatypes)
src/HOL/Tools/BNF/bnf_fp_def_sugar.ML

2016-12-22 blanchet [Thu, 22 Dec 2016 19:14:58 +0100] rev 64637
export ML functions (towards nonuniform codatatypes) + signature tuning
src/HOL/Tools/BNF/bnf_fp_def_sugar.ML src/HOL/Tools/BNF/bnf_fp_n2m_sugar.ML src/HOL/Tools/BNF/bnf_gfp_grec_sugar.ML

2016-12-22 blanchet [Thu, 22 Dec 2016 17:36:28 +0100] rev 64636
export ML function
src/HOL/Tools/BNF/bnf_fp_def_sugar_tactics.ML