Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -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.
Fri, 01 Sep 2000 00:34:07 +0200 replaced writeln by priority;
changeset
wenzelm [Fri, 01 Sep 2000 00:34:07 +0200] rev 9778
replaced writeln by priority;
Fri, 01 Sep 2000 00:33:36 +0200 added bang_sectioned_args';
changeset
wenzelm [Fri, 01 Sep 2000 00:33:36 +0200] rev 9777
added bang_sectioned_args';
Fri, 01 Sep 2000 00:33:14 +0200 'declare' made proper command;
changeset
wenzelm [Fri, 01 Sep 2000 00:33:14 +0200] rev 9776
'declare' made proper command;
Fri, 01 Sep 2000 00:32:46 +0200 priority_fn := decorate_lines;
changeset
wenzelm [Fri, 01 Sep 2000 00:32:46 +0200] rev 9775
priority_fn := decorate_lines; replaced 'message' by 'priority';
Fri, 01 Sep 2000 00:32:11 +0200 added priority, priority_fn;
changeset
wenzelm [Fri, 01 Sep 2000 00:32:11 +0200] rev 9774
added priority, priority_fn;
Fri, 01 Sep 2000 00:31:39 +0200 added "safe" method;
changeset
wenzelm [Fri, 01 Sep 2000 00:31:39 +0200] rev 9773
added "safe" method;
Fri, 01 Sep 2000 00:31:08 +0200 auto method: opt args;
changeset
wenzelm [Fri, 01 Sep 2000 00:31:08 +0200] rev 9772
auto method: opt args; tuned;
Fri, 01 Sep 2000 00:30:25 +0200 converted Lambda scripts;
changeset
wenzelm [Fri, 01 Sep 2000 00:30:25 +0200] rev 9771
converted Lambda scripts;
Fri, 01 Sep 2000 00:29:12 +0200 converted;
changeset
wenzelm [Fri, 01 Sep 2000 00:29:12 +0200] rev 9770
converted;
Fri, 01 Sep 2000 00:28:27 +0200 fixed rulify_prems;
changeset
wenzelm [Fri, 01 Sep 2000 00:28:27 +0200] rev 9769
fixed rulify_prems;
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle