Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tue, 09 Nov 2010 11:27:58 +0100 accomodate old manuals that include pdfsetup.sty without isabelle.sty;
changeset
wenzelm [Tue, 09 Nov 2010 11:27:58 +0100] rev 40447
accomodate old manuals that include pdfsetup.sty without isabelle.sty;
Tue, 09 Nov 2010 11:17:15 +0100 merged
changeset
wenzelm [Tue, 09 Nov 2010 11:17:15 +0100] rev 40446
merged
Mon, 08 Nov 2010 23:02:20 +0100 removed type-inference-like behaviour from relation_tac completely; tuned
changeset
krauss [Mon, 08 Nov 2010 23:02:20 +0100] rev 40445
removed type-inference-like behaviour from relation_tac completely; tuned
Mon, 08 Nov 2010 20:55:27 +0100 avoid clash of \<upharpoonright> vs. \<restriction> (cf. 666ea7e62384 and 3c49dbece0a8);
changeset
wenzelm [Mon, 08 Nov 2010 20:55:27 +0100] rev 40444
avoid clash of \<upharpoonright> vs. \<restriction> (cf. 666ea7e62384 and 3c49dbece0a8);
Mon, 08 Nov 2010 20:50:56 +0100 explicitly check uniqueness of symbol recoding;
changeset
wenzelm [Mon, 08 Nov 2010 20:50:56 +0100] rev 40443
explicitly check uniqueness of symbol recoding;
Mon, 08 Nov 2010 17:44:47 +0100 more hints on building and running Isabelle/jEdit from command line;
changeset
wenzelm [Mon, 08 Nov 2010 17:44:47 +0100] rev 40442
more hints on building and running Isabelle/jEdit from command line;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle