| Tue, 06 Oct 2015 15:14:28 +0200 | wenzelm | fewer aliases for toplevel theorem statements; | file | diff | annotate |
| Sat, 18 Jul 2015 20:54:56 +0200 | wenzelm | prefer tactics with explicit context; | file | diff | annotate |
| Thu, 15 Jan 2015 13:39:41 +0100 | haftmann | separate image for prerequisites of codegen tutorial | file | diff | annotate |