Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tue, 21 Jun 2005 09:31:57 +0200 fixed HOL-Complex-Matrix target;
changeset
wenzelm [Tue, 21 Jun 2005 09:31:57 +0200] rev 16509
fixed HOL-Complex-Matrix target;
Tue, 21 Jun 2005 08:16:03 +0200 removed mkcontent from makedist
changeset
haftmann [Tue, 21 Jun 2005 08:16:03 +0200] rev 16508
removed mkcontent from makedist
Tue, 21 Jun 2005 00:45:56 +0200 fix 'give up waiting message' (logs of running processes are not attached)
changeset
kleing [Tue, 21 Jun 2005 00:45:56 +0200] rev 16507
fix 'give up waiting message' (logs of running processes are not attached)
Mon, 20 Jun 2005 22:14:21 +0200 * Pure: get_thm interface expects datatype thmref;
changeset
wenzelm [Mon, 20 Jun 2005 22:14:21 +0200] rev 16506
* Pure: get_thm interface expects datatype thmref; * More efficient treatment of intermediate theory checkpoints;
Mon, 20 Jun 2005 22:14:20 +0200 avoid identifier 'Name';
changeset
wenzelm [Mon, 20 Jun 2005 22:14:20 +0200] rev 16505
avoid identifier 'Name';
Mon, 20 Jun 2005 22:14:19 +0200 Theory.begin/end_theory;
changeset
wenzelm [Mon, 20 Jun 2005 22:14:19 +0200] rev 16504
Theory.begin/end_theory;
(0) -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle