| Thu, 26 May 2016 15:27:50 +0200 | haftmann | delegate inclusion of required dictionaries to user-space instead of half-working magic | file | diff | annotate |
| 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 |