Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +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, 22 Jul 2003 11:05:02 +0200 Added some regression testing for simprocs
changeset
paulson [Tue, 22 Jul 2003 11:05:02 +0200] rev 14124
Added some regression testing for simprocs
Tue, 22 Jul 2003 11:03:42 +0200 fixed simprocs
changeset
paulson [Tue, 22 Jul 2003 11:03:42 +0200] rev 14123
fixed simprocs
Mon, 21 Jul 2003 17:27:23 +0200 Added handling of meta implication and meta quantification.
changeset
skalberg [Mon, 21 Jul 2003 17:27:23 +0200] rev 14122
Added handling of meta implication and meta quantification.
Mon, 21 Jul 2003 16:19:34 +0200 Added handling of free variables (provided they are of sort HOL.type).
changeset
skalberg [Mon, 21 Jul 2003 16:19:34 +0200] rev 14121
Added handling of free variables (provided they are of sort HOL.type).
Mon, 21 Jul 2003 13:02:07 +0200 Tidied some examples
changeset
paulson [Mon, 21 Jul 2003 13:02:07 +0200] rev 14120
Tidied some examples
Mon, 21 Jul 2003 10:58:16 +0200 Added the specification command.
changeset
skalberg [Mon, 21 Jul 2003 10:58:16 +0200] rev 14119
Added the specification command.
Mon, 21 Jul 2003 08:53:56 +0200 Changed bstring argument to xstring.
changeset
skalberg [Mon, 21 Jul 2003 08:53:56 +0200] rev 14118
Changed bstring argument to xstring.
(0) -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle