Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -3000 -1000 -300 -100 -14 +14 +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 Aug 1999 11:29:13 +0200 new files for the SVC link-up
changeset
paulson [Mon, 02 Aug 1999 11:29:13 +0200] rev 7145
new files for the SVC link-up
Mon, 02 Aug 1999 11:26:43 +0200 the SVC oracle theory
changeset
paulson [Mon, 02 Aug 1999 11:26:43 +0200] rev 7144
the SVC oracle theory
Mon, 02 Aug 1999 11:24:30 +0200 the SVC link-up
changeset
paulson [Mon, 02 Aug 1999 11:24:30 +0200] rev 7143
the SVC link-up
Mon, 02 Aug 1999 11:24:01 +0200 new files for the SVC link-up
changeset
paulson [Mon, 02 Aug 1999 11:24:01 +0200] rev 7142
new files for the SVC link-up
Fri, 30 Jul 1999 18:27:25 +0200 even more stuff;
changeset
wenzelm [Fri, 30 Jul 1999 18:27:25 +0200] rev 7141
even more stuff;
Fri, 30 Jul 1999 15:59:00 +0200 oracle: '=';
changeset
wenzelm [Fri, 30 Jul 1999 15:59:00 +0200] rev 7140
oracle: '=';
Fri, 30 Jul 1999 15:57:50 +0200 added \text;
changeset
wenzelm [Fri, 30 Jul 1999 15:57:50 +0200] rev 7139
added \text;
Fri, 30 Jul 1999 15:57:27 +0200 Isabelle/Isar macros;
changeset
wenzelm [Fri, 30 Jul 1999 15:57:27 +0200] rev 7138
Isabelle/Isar macros;
Fri, 30 Jul 1999 15:56:58 +0200 hacking the rail package;
changeset
wenzelm [Fri, 30 Jul 1999 15:56:58 +0200] rev 7137
hacking the rail package;
Fri, 30 Jul 1999 15:56:33 +0200 added update_thy_only;
changeset
wenzelm [Fri, 30 Jul 1999 15:56:33 +0200] rev 7136
added update_thy_only; moved update_thy;
Fri, 30 Jul 1999 15:40:54 +0200 more;
changeset
wenzelm [Fri, 30 Jul 1999 15:40:54 +0200] rev 7135
more;
Fri, 30 Jul 1999 14:59:32 +0200 more stuff;
changeset
wenzelm [Fri, 30 Jul 1999 14:59:32 +0200] rev 7134
more stuff;
Fri, 30 Jul 1999 13:44:29 +0200 renamed 'same' to '-';
changeset
wenzelm [Fri, 30 Jul 1999 13:44:29 +0200] rev 7133
renamed 'same' to '-';
Fri, 30 Jul 1999 13:43:26 +0200 eliminated METHOD0 in favour of same_tac;
changeset
wenzelm [Fri, 30 Jul 1999 13:43:26 +0200] rev 7132
eliminated METHOD0 in favour of same_tac;
(0) -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle