isabelle: Changelog

traytel [Sun, 08 Sep 2013 12:26:07 +0200] rev 53470

tuned whitespace

traytel [Sun, 08 Sep 2013 12:26:05 +0200] rev 53469

don't register "sequential" as a keyword for now as this breaks the parser for function

wenzelm [Sat, 07 Sep 2013 23:09:26 +0200] rev 53468

tuned proofs;

wenzelm [Sat, 07 Sep 2013 20:12:38 +0200] rev 53467

merged

wenzelm [Sat, 07 Sep 2013 19:45:36 +0200] rev 53466

tuned message;

wenzelm [Sat, 07 Sep 2013 19:18:05 +0200] rev 53465

tuned message;

wenzelm [Sat, 07 Sep 2013 18:37:25 +0200] rev 53464

imitate "isabelle java" and "isabelle jedit" wrt. classpath and options (see also a221a4fdb5a0);

wenzelm [Sat, 07 Sep 2013 18:24:24 +0200] rev 53463

generate application wrapper for Linux;

wenzelm [Sat, 07 Sep 2013 17:43:13 +0200] rev 53462

observe "stopped" after Cygwin init (which is itself uninterruptible);

wenzelm [Sat, 07 Sep 2013 17:32:55 +0200] rev 53461

clarified modules;

isabelle