| Mon, 19 Jan 2009 13:37:24 +0100 | haftmann | "code equation" replaces "defining equation" | file | diff | annotate |
| Thu, 13 Nov 2008 22:45:12 +0100 | wenzelm | updated generated files; | file | diff | annotate |
| Mon, 10 Nov 2008 14:36:49 +0100 | ballarin | Made doc compatible with the system. | file | diff | annotate |
| Thu, 18 Sep 2008 19:39:47 +0200 | wenzelm | updated generated file; | file | diff | annotate |
| Wed, 17 Sep 2008 23:08:06 +0200 | wenzelm | added ML_prf; | file | diff | annotate |
| Wed, 03 Sep 2008 17:47:30 +0200 | wenzelm | Sign.declare_const: Name.binding; | file | diff | annotate |
| Tue, 02 Sep 2008 17:31:20 +0200 | ballarin | Interpretation commands no longer accept interpretation attributes. | file | diff | annotate |