isabelle: Changelog

wenzelm [Thu, 10 Apr 2014 12:22:29 +0200] rev 56510

added simproc markup, which also indicates legacy simprocs outside the name space;

wenzelm [Thu, 10 Apr 2014 12:00:25 +0200] rev 56509

modernized simproc_setup;

wenzelm [Thu, 10 Apr 2014 11:24:58 +0200] rev 56508

misc tuning;

wenzelm [Thu, 10 Apr 2014 11:06:45 +0200] rev 56507

more contributors;

wenzelm [Thu, 10 Apr 2014 10:36:29 +0200] rev 56506

tuned;

wenzelm [Thu, 10 Apr 2014 10:30:32 +0200] rev 56505

NEWS;

wenzelm [Thu, 10 Apr 2014 10:27:29 +0200] rev 56504

tuned error -- allow user to click on hyperlink to open remote file;

wenzelm [Thu, 10 Apr 2014 10:06:54 +0200] rev 56503

no comment -- File.read_stream already enforces UTF8 (like HTML5) and HTTP servers often produce a wrong charset encoding;

wenzelm [Wed, 09 Apr 2014 23:22:58 +0200] rev 56502

improved support for external URLs, based on standard Java network operations;

wenzelm [Wed, 09 Apr 2014 23:04:20 +0200] rev 56501

basic URL operations (with Isabelle/Scala error handling);

isabelle