| Wed, 04 Nov 2015 08:13:52 +0100 | ballarin | Keyword 'rewrites' identifies rewrite morphisms. | file | diff | annotate |
| Thu, 15 Jan 2015 13:39:41 +0100 | haftmann | separate image for prerequisites of codegen tutorial | file | diff | annotate |
| Thu, 15 Jan 2015 13:39:41 +0100 | haftmann | modernized cartouches | file | diff | annotate |
| Fri, 14 Nov 2014 18:39:42 +0100 | haftmann | documentation stubs about permanent_interpretation | file | diff | annotate |
| Tue, 07 Oct 2014 22:35:11 +0200 | wenzelm | more antiquotations; | file | diff | annotate |
| Fri, 04 Jul 2014 20:18:47 +0200 | haftmann | reduced name variants for assoc and commute on plus and mult | file | diff | annotate |
| Wed, 26 Feb 2014 11:57:52 +0100 | haftmann | prefer proof context over background theory | file | diff | annotate |