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 |
Thu, 15 Jan 2015 13:39:41 +0100 | haftmann | modernized cartouches | file | diff | annotate |
Sat, 10 Jan 2015 10:40:11 +0100 | haftmann | typo | file | diff | annotate |
Sat, 10 Jan 2015 10:24:30 +0100 | haftmann | avoid writing into source | file | diff | annotate |
Tue, 07 Oct 2014 22:35:11 +0200 | wenzelm | more antiquotations; | file | diff | annotate |