Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-10000
-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, 13 Oct 2003 16:54:20 +0200
Fixed spelling error.
changeset
skalberg [Mon, 13 Oct 2003 16:54:20 +0200] rev 14231
Fixed spelling error.
Fri, 10 Oct 2003 19:34:28 +0200
Added overview page.
changeset
berghofe [Fri, 10 Oct 2003 19:34:28 +0200] rev 14230
Added overview page.
Fri, 10 Oct 2003 19:32:15 +0200
Munich webserver is now atbroy1
changeset
berghofe [Fri, 10 Oct 2003 19:32:15 +0200] rev 14229
Munich webserver is now atbroy1
Fri, 10 Oct 2003 17:39:33 +0200
trivial
changeset
paulson [Fri, 10 Oct 2003 17:39:33 +0200] rev 14228
trivial
Fri, 10 Oct 2003 17:39:23 +0200
finalconsts
changeset
paulson [Fri, 10 Oct 2003 17:39:23 +0200] rev 14227
finalconsts
Fri, 10 Oct 2003 12:12:35 +0200
Made judgments automatically declared final.
changeset
skalberg [Fri, 10 Oct 2003 12:12:35 +0200] rev 14226
Made judgments automatically declared final.
Fri, 10 Oct 2003 11:13:29 +0200
better presentation
changeset
paulson [Fri, 10 Oct 2003 11:13:29 +0200] rev 14225
better presentation
Thu, 09 Oct 2003 18:20:14 +0200
Added info on the new 'finalconsts' command.
changeset
skalberg [Thu, 09 Oct 2003 18:20:14 +0200] rev 14224
Added info on the new 'finalconsts' command.
Thu, 09 Oct 2003 18:13:32 +0200
Added support for making constants final, that is, ensuring that no
changeset
skalberg [Thu, 09 Oct 2003 18:13:32 +0200] rev 14223
Added support for making constants final, that is, ensuring that no definition can be given later (useful for constants whose behaviour is fixed axiomatically rather than definitionally).
Wed, 08 Oct 2003 16:02:54 +0200
Added axiomatic specifications (ax_specification).
changeset
skalberg [Wed, 08 Oct 2003 16:02:54 +0200] rev 14222
Added axiomatic specifications (ax_specification).
(0)
-10000
-3000
-1000
-300
-100
-10
+10
+100
+300
+1000
+3000
+10000
+30000
tip