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.
Mon, 02 Feb 1998 12:56:24 +0100 fixed WWW links
changeset
paulson [Mon, 02 Feb 1998 12:56:24 +0100] rev 4594
fixed WWW links
Mon, 02 Feb 1998 12:55:39 +0100 Three new facts about Image
changeset
paulson [Mon, 02 Feb 1998 12:55:39 +0100] rev 4593
Three new facts about Image
Mon, 02 Feb 1998 12:48:11 +0100 Replaced \\1 by $1 as Perl itself asked me to...
changeset
paulson [Mon, 02 Feb 1998 12:48:11 +0100] rev 4592
Replaced \\1 by $1 as Perl itself asked me to...
Fri, 30 Jan 1998 12:31:59 +0100 Fixed the description of recdef
changeset
paulson [Fri, 30 Jan 1998 12:31:59 +0100] rev 4591
Fixed the description of recdef
Fri, 30 Jan 1998 11:34:06 +0100 tuned msgs;
changeset
wenzelm [Fri, 30 Jan 1998 11:34:06 +0100] rev 4590
tuned msgs;
Fri, 30 Jan 1998 11:33:01 +0100 improved tracing of rewrite rule application;
changeset
wenzelm [Fri, 30 Jan 1998 11:33:01 +0100] rev 4589
improved tracing of rewrite rule application;
Fri, 30 Jan 1998 11:32:19 +0100 removed dead messy code;
changeset
wenzelm [Fri, 30 Jan 1998 11:32:19 +0100] rev 4588
removed dead messy code;
Fri, 30 Jan 1998 11:31:21 +0100 added read_var;
changeset
wenzelm [Fri, 30 Jan 1998 11:31:21 +0100] rev 4587
added read_var;
Fri, 30 Jan 1998 11:01:49 +0100 tuned;
changeset
wenzelm [Fri, 30 Jan 1998 11:01:49 +0100] rev 4586
tuned;
Fri, 23 Jan 1998 13:47:37 +0100 Updated MOD reference
changeset
paulson [Fri, 23 Jan 1998 13:47:37 +0100] rev 4585
Updated MOD reference
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle