| Tue, 17 Jul 2012 21:49:32 +0200 | wenzelm | more accurate imitation of formal text; | file | diff | annotate |
| Tue, 03 May 2011 21:44:05 +0200 | wenzelm | use existing \<hyphen>; | file | diff | annotate |
| Tue, 03 May 2011 15:07:36 +0200 | wenzelm | formal Base theory; | file | diff | annotate |