| Fri, 10 Feb 2012 22:51:21 +0100 | haftmann | dropped dead code | file | diff | annotate |
| Tue, 13 Jul 2010 11:38:04 +0200 | haftmann | corrected title | file | diff | annotate |
| Mon, 12 Jul 2010 08:58:12 +0200 | haftmann | more regular session structure | file | diff | annotate | base |
| Thu, 03 Mar 2005 12:43:01 +0100 | skalberg | Move towards standard functions. | file | diff | annotate |
| Sun, 13 Feb 2005 17:15:14 +0100 | skalberg | Deleted Library.option type. | file | diff | annotate |
| Fri, 03 Sep 2004 17:10:36 +0200 | obua | Matrix theory, linear programming | file | diff | annotate |