isabelle: Changelog

wenzelm [Sat, 24 May 2014 19:15:04 +0200] rev 57082

more portable -- accomodate MiKTeX on Windows;

wenzelm [Sat, 24 May 2014 12:58:22 +0200] rev 57081

receovered alternative abbrevs for \<open> \<close> from 8e8243975860, to accommodate national keyboard layouts where "`" might be hard to produce;

wenzelm [Sat, 24 May 2014 12:55:09 +0200] rev 57080

strip trailing white space, to avoid notorious problems of jEdit with last line;

blanchet [Fri, 23 May 2014 14:25:14 +0200] rev 57079

added fifth member to BNF team

blanchet [Fri, 23 May 2014 14:12:22 +0200] rev 57078

removed noise

blanchet [Fri, 23 May 2014 14:12:21 +0200] rev 57077

fixed semantics of 'linearize'

blanchet [Fri, 23 May 2014 14:12:20 +0200] rev 57076

automatically reload state file when it changes on disk

haftmann [Thu, 22 May 2014 17:53:03 +0200] rev 57075

tuned

haftmann [Thu, 22 May 2014 17:53:02 +0200] rev 57074

tuned names

haftmann [Thu, 22 May 2014 17:53:01 +0200] rev 57073

tuned signature

isabelle