wenzelm [Thu, 26 Nov 2009 15:03:31 +0100] rev 33920
Added tag isa2009-1-test for changeset 14ff44e21bec
wenzelm [Thu, 26 Nov 2009 14:54:56 +0100] rev 33919
adhoc delay after font installation -- increases chance that Emacs will actually see them;
wenzelm [Thu, 26 Nov 2009 14:42:52 +0100] rev 33918
implicit font installation for Mac OS;
wenzelm [Thu, 26 Nov 2009 12:55:24 +0100] rev 33917
modernized interface script for PG 3.7.1 -- backport from PG 4.0 branch;
wenzelm [Thu, 26 Nov 2009 12:13:43 +0100] rev 33916
patch for the infamous antiquotation font-lock problem of Proof General 3.7.1 with GNU Emacs, cf. http://proofgeneral.inf.ed.ac.uk/trac/ticket/236
wenzelm [Wed, 25 Nov 2009 15:30:03 +0100] rev 33915
refer to isabelle-release branch;
haftmann [Fri, 04 Dec 2009 11:04:07 +0100] rev 33914
merged
haftmann [Fri, 04 Dec 2009 11:03:54 +0100] rev 33913
added Crude_Executable_Set
nipkow [Fri, 04 Dec 2009 08:52:09 +0100] rev 33912
removed redundant lemma
nipkow [Fri, 04 Dec 2009 08:26:25 +0100] rev 33911
added remdups_filter lemma