isabelle: Changelog

wenzelm [Sat, 28 Nov 2009 20:03:07 +0100] rev 33916

updated generated files;

wenzelm [Sat, 28 Nov 2009 18:17:10 +0100] rev 33915

proper quoting of array expansion -- allow spaces in components;

wenzelm [Sat, 28 Nov 2009 17:59:02 +0100] rev 33914

added "sos"; added subgoal focus;

wenzelm [Sat, 28 Nov 2009 16:16:17 +0100] rev 33913

PG version 3.7.1.1;

wenzelm [Sat, 28 Nov 2009 15:54:25 +0100] rev 33912

allow spaces within PROOFGENERAL_EMACS;

wenzelm [Sat, 28 Nov 2009 15:53:10 +0100] rev 33911

allow spaces within command-line arguments;

wenzelm [Fri, 27 Nov 2009 23:08:26 +0100] rev 33910

proper quotes;

wenzelm [Fri, 27 Nov 2009 22:38:22 +0100] rev 33909

more abstract handling of repository name;

wenzelm [Fri, 27 Nov 2009 00:59:01 +0100] rev 33908

more menu entries -- backport from PG 4.0 branch;

wenzelm [Fri, 27 Nov 2009 00:11:56 +0100] rev 33907

re-package Isabelle distribution with add-on components;

isabelle