| Sun, 02 Nov 2014 18:21:14 +0100 | wenzelm | prefer \setisabellecontext; | file | diff | annotate |
| Fri, 03 Dec 2010 20:38:58 +0100 | wenzelm | recoded latin1 as utf8; | file | diff | annotate |
| Fri, 06 Mar 2009 20:30:18 +0100 | haftmann | added babel -- necessary for bind infix syntax | file | diff | annotate |
| Tue, 16 Sep 2008 16:13:14 +0200 | haftmann | removed babel again | file | diff | annotate |
| Tue, 16 Sep 2008 09:21:28 +0200 | haftmann | added babel | file | diff | annotate |
| Sun, 28 Aug 2005 16:04:43 +0200 | wenzelm | tuned size of included graph; | file | diff | annotate |
| Fri, 08 Jul 2005 11:39:59 +0200 | nipkow | added Davenport reference | file | diff | annotate |
| Sun, 10 Apr 2005 17:19:03 +0200 | nipkow | _(_|_) is now override_on | file | diff | annotate |
| Mon, 07 Feb 2005 08:02:49 +0100 | nipkow | fixed latex problems by including bigsqcap | file | diff | annotate |
| Thu, 06 May 2004 14:14:18 +0200 | wenzelm | tuned document; | file | diff | annotate |
| Fri, 16 Apr 2004 21:00:53 +0200 | wenzelm | more elaborate header markup; | file | diff | annotate |
| Sun, 13 Jan 2002 21:13:27 +0100 | wenzelm | \usepackage[latin1]{inputenc}; | file | diff | annotate |
| Thu, 06 Dec 2001 17:15:53 +0100 | wenzelm | include session graph; | file | diff | annotate |
| Sat, 03 Nov 2001 01:45:32 +0100 | wenzelm | document setup; | file | diff | annotate |