| Tue, 26 Apr 2016 11:56:06 +0200 | wenzelm | tuned notation; | file | diff | annotate |
| Wed, 15 Apr 2015 15:57:58 +0200 | wenzelm | use wasysym for \<hole>; | file | diff | annotate |
| Sun, 09 Feb 2014 17:41:17 +0100 | wenzelm | removed junk; | file | diff | annotate |
| Fri, 03 Dec 2010 20:38:58 +0100 | wenzelm | recoded latin1 as utf8; | file | diff | annotate |
| Sun, 12 Feb 2006 20:32:59 +0100 | wenzelm | \usepackage{amssymb}; | file | diff | annotate |
| Thu, 28 Apr 2005 17:08:08 +0200 | bauerg | *** empty log message *** | file | diff | annotate |
| Fri, 14 Dec 2001 22:28:13 +0100 | wenzelm | \usepackage[latin1]{inputenc}; | file | diff | annotate |
| Tue, 04 Dec 2001 02:02:10 +0100 | wenzelm | \usepackage{textcomp}; | file | diff | annotate |