Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tue, 22 Jul 2014 14:36:31 +0200 evade problems with MikTeX on Windows;
changeset
wenzelm [Tue, 22 Jul 2014 14:36:31 +0200] rev 57606
evade problems with MikTeX on Windows;
Tue, 22 Jul 2014 14:03:00 +0200 tuned messages;
changeset
wenzelm [Tue, 22 Jul 2014 14:03:00 +0200] rev 57605
tuned messages;
Tue, 22 Jul 2014 13:36:51 +0200 support multiple selected print operations instead of slightly odd "menu";
changeset
wenzelm [Tue, 22 Jul 2014 13:36:51 +0200] rev 57604
support multiple selected print operations instead of slightly odd "menu";
Tue, 22 Jul 2014 12:05:53 +0200 more default imports;
changeset
wenzelm [Tue, 22 Jul 2014 12:05:53 +0200] rev 57603
more default imports;
Tue, 22 Jul 2014 11:46:34 +0200 no keyword completion within word context -- especially avoid its odd visual rendering;
changeset
wenzelm [Tue, 22 Jul 2014 11:46:34 +0200] rev 57602
no keyword completion within word context -- especially avoid its odd visual rendering;
Tue, 22 Jul 2014 08:07:47 +0200 merged
changeset
Andreas Lochbihler [Tue, 22 Jul 2014 08:07:47 +0200] rev 57601
merged
Mon, 21 Jul 2014 17:57:16 +0200 merged
changeset
Andreas Lochbihler [Mon, 21 Jul 2014 17:57:16 +0200] rev 57600
merged
Mon, 21 Jul 2014 17:51:29 +0200 add parametricity lemmas
changeset
Andreas Lochbihler [Mon, 21 Jul 2014 17:51:29 +0200] rev 57599
add parametricity lemmas
Mon, 21 Jul 2014 17:51:11 +0200 add lemma
changeset
Andreas Lochbihler [Mon, 21 Jul 2014 17:51:11 +0200] rev 57598
add lemma
Mon, 21 Jul 2014 20:57:47 +0200 merged
changeset
wenzelm [Mon, 21 Jul 2014 20:57:47 +0200] rev 57597
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip
isabelle