isabelle: Changelog

wenzelm [Fri, 27 Oct 2017 16:21:58 +0200] rev 66927

more formal messages;

wenzelm [Fri, 27 Oct 2017 16:21:29 +0200] rev 66926

tuned signature;

wenzelm [Fri, 27 Oct 2017 15:49:09 +0200] rev 66925

separate JSON parser, which is slightly more general than (deprecated) scala.util.parsing.json.JSON;

wenzelm [Fri, 27 Oct 2017 13:50:08 +0200] rev 66924

more permissive;

wenzelm [Fri, 27 Oct 2017 11:46:03 +0200] rev 66923

tuned;

wenzelm [Thu, 26 Oct 2017 23:31:03 +0200] rev 66922

separate JSON lexer;

wenzelm [Thu, 26 Oct 2017 15:08:53 +0200] rev 66921

clarified command language;

wenzelm [Thu, 26 Oct 2017 13:44:41 +0200] rev 66920

use Poly/ML 5.7.1 test version as default;

wenzelm [Wed, 25 Oct 2017 14:54:28 +0200] rev 66919

more explicit check;

wenzelm [Wed, 25 Oct 2017 14:39:22 +0200] rev 66918

more robust treatment of UTF8 in raw byte sources;

isabelle