isabelle: Changelog

wenzelm [Fri, 01 Jan 2016 11:07:29 +0100] rev 62022

glyphs for \<bind>, \<then>;

wenzelm [Fri, 01 Jan 2016 11:07:07 +0100] rev 62021

tuned order for isar-ref;

wenzelm [Fri, 01 Jan 2016 10:49:00 +0100] rev 62020

isabelle update_cartouches -c -t;

wenzelm [Thu, 31 Dec 2015 21:46:31 +0100] rev 62019

updated for release;

wenzelm [Thu, 31 Dec 2015 21:43:54 +0100] rev 62018

updated to SML/NJ 110.79;

wenzelm [Thu, 31 Dec 2015 21:24:58 +0100] rev 62017

misc tuning for release;

wenzelm [Thu, 31 Dec 2015 21:06:09 +0100] rev 62016

misc updates for release;

wenzelm [Thu, 31 Dec 2015 20:57:00 +0100] rev 62015

expand hard tabs;

wenzelm [Thu, 31 Dec 2015 20:40:28 +0100] rev 62014

documentation for "isabelle jedit_client";

wenzelm [Thu, 31 Dec 2015 19:53:19 +0100] rev 62013

discontinued documentation of old browser; tuned;

isabelle