Fri, 10 Oct 2003 19:34:28 +0200 Added overview page.
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
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
paulson [Fri, 10 Oct 2003 17:39:33 +0200] rev 14228
trivial
Fri, 10 Oct 2003 17:39:23 +0200 finalconsts
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.
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
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.
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
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).
skalberg [Wed, 08 Oct 2003 16:02:54 +0200] rev 14222
Added axiomatic specifications (ax_specification).
Wed, 08 Oct 2003 15:58:15 +0200 now accepts DOS and Mac line breaks
paulson [Wed, 08 Oct 2003 15:58:15 +0200] rev 14221
now accepts DOS and Mac line breaks
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip