Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -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.
Fri, 13 Dec 1996 10:20:55 +0100 Streamlined some proofs
changeset
paulson [Fri, 13 Dec 1996 10:20:55 +0100] rev 2375
Streamlined some proofs
Fri, 13 Dec 1996 10:18:48 +0100 Streamlined many proofs
changeset
paulson [Fri, 13 Dec 1996 10:18:48 +0100] rev 2374
Streamlined many proofs
Fri, 13 Dec 1996 10:17:35 +0100 Addition of the Hash constructor
changeset
paulson [Fri, 13 Dec 1996 10:17:35 +0100] rev 2373
Addition of the Hash constructor Strengthening spy_analz_tac
Tue, 10 Dec 1996 15:13:53 +0100 fixed alternative quantifier symbol syntax;
changeset
wenzelm [Tue, 10 Dec 1996 15:13:53 +0100] rev 2372
fixed alternative quantifier symbol syntax;
Tue, 10 Dec 1996 15:08:57 +0100 Now target "test" builds and tests TFL
changeset
paulson [Tue, 10 Dec 1996 15:08:57 +0100] rev 2371
Now target "test" builds and tests TFL
Tue, 10 Dec 1996 15:07:43 +0100 ROOT file for TFL (needed for use_dir to work)
changeset
paulson [Tue, 10 Dec 1996 15:07:43 +0100] rev 2370
ROOT file for TFL (needed for use_dir to work)
(0) -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle