Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tue, 15 Jul 2008 16:50:09 +0200 Removed uses of context element includes.
changeset
ballarin [Tue, 15 Jul 2008 16:50:09 +0200] rev 27611
Removed uses of context element includes.
Tue, 15 Jul 2008 16:02:10 +0200 tuned
changeset
haftmann [Tue, 15 Jul 2008 16:02:10 +0200] rev 27610
tuned
Tue, 15 Jul 2008 16:02:07 +0200 tuned code theorem bookkeeping
changeset
haftmann [Tue, 15 Jul 2008 16:02:07 +0200] rev 27609
tuned code theorem bookkeeping
Tue, 15 Jul 2008 15:59:49 +0200 tuned changelogentry;
changeset
wenzelm [Tue, 15 Jul 2008 15:59:49 +0200] rev 27608
tuned changelogentry;
Tue, 15 Jul 2008 15:46:43 +0200 refined Output.status_fn: priority (only visible for non-empty output, e.g. via test_markup print mode);
changeset
wenzelm [Tue, 15 Jul 2008 15:46:43 +0200] rev 27607
refined Output.status_fn: priority (only visible for non-empty output, e.g. via test_markup print mode);
Tue, 15 Jul 2008 15:46:41 +0200 support for command status;
changeset
wenzelm [Tue, 15 Jul 2008 15:46:41 +0200] rev 27606
support for command status;
Tue, 15 Jul 2008 14:15:49 +0200 added status channel;
changeset
wenzelm [Tue, 15 Jul 2008 14:15:49 +0200] rev 27605
added status channel; writeln_default: suppress empty messages;
Tue, 15 Jul 2008 14:15:43 +0200 added status channel;
changeset
wenzelm [Tue, 15 Jul 2008 14:15:43 +0200] rev 27604
added status channel;
Tue, 15 Jul 2008 12:13:14 +0200 tuned;
changeset
wenzelm [Tue, 15 Jul 2008 12:13:14 +0200] rev 27603
tuned;
Tue, 15 Jul 2008 11:50:04 +0200 simplified commit_exit;
changeset
wenzelm [Tue, 15 Jul 2008 11:50:04 +0200] rev 27602
simplified commit_exit;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle