| Tue, 09 Mar 2010 23:32:13 +0100 | wenzelm | localized typedecl; | file | diff | annotate |
| Wed, 24 Feb 2010 20:37:01 +0100 | wenzelm | allow general mixfix syntax for type constructors; | file | diff | annotate |
| Mon, 22 Feb 2010 17:02:39 +0100 | haftmann | dropped references to old axclass from documentation | file | diff | annotate |
| Mon, 23 Nov 2009 21:04:00 +0100 | ballarin | Generated files. | file | diff | annotate |
| Sun, 22 Nov 2009 15:37:49 +0100 | ballarin | Generated latex code. | file | diff | annotate |
| Sun, 08 Nov 2009 14:44:31 +0100 | wenzelm | added "declaration (pervasive)"; | file | diff | annotate |
| Thu, 02 Jul 2009 16:06:12 +0200 | haftmann | instance arities can be simultaneous | file | diff | annotate |
| Thu, 02 Jul 2009 16:00:28 +0200 | haftmann | updated generated files | file | diff | annotate |
| Wed, 17 Jun 2009 10:34:02 +0200 | haftmann | refined section concerning classes | file | diff | annotate |
| Wed, 06 May 2009 16:01:05 +0200 | haftmann | tuned description of overloading | file | diff | annotate |
| Mon, 16 Mar 2009 17:51:24 +0100 | wenzelm | updated generated file; | file | diff | annotate |
| Sun, 15 Mar 2009 15:59:44 +0100 | wenzelm | updated generated files; | file | diff | annotate |
| Thu, 12 Mar 2009 00:02:30 +0100 | wenzelm | updated generated files; | file | diff | annotate |
| Wed, 04 Mar 2009 11:05:29 +0100 | blanchet | Merge. | file | diff | annotate |
| Wed, 04 Mar 2009 10:45:52 +0100 | blanchet | Merge. | file | diff | annotate |
| Thu, 26 Feb 2009 20:55:47 +0100 | wenzelm | updated generated files; | file | diff | annotate |
| Mon, 16 Feb 2009 20:25:21 +0100 | wenzelm | updated generated files; | file | diff | annotate |
| Sun, 15 Feb 2009 18:56:13 +0100 | wenzelm | updated generated files; | file | diff | annotate |
| Mon, 02 Feb 2009 09:27:54 +0100 | haftmann | updated type class section | file | diff | annotate |
| Thu, 22 Jan 2009 09:04:45 +0100 | haftmann | dropped print_interps | file | diff | annotate |
| 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 |
| Tue, 12 Aug 2008 21:27:46 +0200 | wenzelm | updated generated file; | file | diff | annotate |
| Sat, 14 Jun 2008 23:20:00 +0200 | wenzelm | updated geenrated file; | file | diff | annotate |
| Tue, 03 Jun 2008 00:15:46 +0200 | wenzelm | updated generated file; | file | diff | annotate |
| Tue, 03 Jun 2008 00:03:54 +0200 | wenzelm | updated generated file; | file | diff | annotate |
| Mon, 02 Jun 2008 23:38:28 +0200 | wenzelm | updated generated file; | file | diff | annotate |
| Mon, 02 Jun 2008 23:12:23 +0200 | wenzelm | updated generated file; | file | diff | annotate |
| Mon, 02 Jun 2008 22:50:29 +0200 | wenzelm | updated generated file; | file | diff | annotate |
| Thu, 15 May 2008 17:39:20 +0200 | wenzelm | updated generated file; | file | diff | annotate |
| Sat, 10 May 2008 00:14:00 +0200 | wenzelm | misc reorganization; | file | diff | annotate |
| Fri, 09 May 2008 23:35:57 +0200 | wenzelm | added chapters for "Specifications" and "Proofs"; | file | diff | annotate |