| Tue, 09 Mar 2021 21:11:05 +0100 | wenzelm | proper type-setting of cartouches (requires T1); | file | diff | annotate |
| Tue, 03 Jul 2018 00:15:16 +0100 | paulson | more latex problems | file | diff | annotate |
| Sun, 02 Nov 2014 13:26:20 +0100 | wenzelm | eliminated dead code; | file | diff | annotate |
| Fri, 03 Dec 2010 20:38:58 +0100 | wenzelm | recoded latin1 as utf8; | file | diff | annotate |
| Sun, 21 Mar 2010 17:12:31 +0100 | wenzelm | standard headers; | file | diff | annotate |
| Fri, 01 Aug 2008 18:10:52 +0200 | ballarin | Generalised polynomial lemmas from cring to ring. | file | diff | annotate |
| Thu, 03 Aug 2006 14:57:26 +0200 | ballarin | Restructured algebra library, added ideals and quotient rings. | file | diff | annotate |
| Thu, 06 May 2004 14:14:18 +0200 | wenzelm | tuned document; | file | diff | annotate |