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 |
Thu, 08 Jul 2004 19:34:56 +0200 | wenzelm | adapted type of simprocs; | file | diff | annotate |
Sun, 15 Feb 2004 10:46:37 +0100 | paulson | Polymorphic treatment of binary arithmetic using axclasses | file | diff | annotate |
Thu, 08 Aug 2002 23:49:44 +0200 | wenzelm | adhoc_freeze_vars; | file | diff | annotate |
Mon, 18 Dec 2000 15:00:15 +0100 | paulson | new simproc for cancelling common factors, etc. | file | diff | annotate |