| Thu, 15 Nov 2001 23:25:46 +0100 | wenzelm | GPLed; | file | diff | annotate |
| Wed, 19 Apr 2000 11:09:59 +0200 | paulson | removal of less_SucI, le_SucI from default simpset | file | diff | annotate |
| Fri, 29 Jan 1999 16:23:56 +0100 | paulson | tidied | file | diff | annotate |
| Wed, 02 Dec 1998 15:55:39 +0100 | mueller | Memory storage case study from PhD p.240; | file | diff | annotate |