| Thu, 11 Oct 2001 19:22:15 +0200 | wenzelm | added try; | file | diff | annotate |
| Fri, 05 May 2000 22:02:46 +0200 | wenzelm | GPLed; | file | diff | annotate |
| Mon, 20 Mar 2000 18:46:53 +0100 | wenzelm | ALLGOALS_RANGE superceded by Seq.INTERVAL; | file | diff | annotate |
| Thu, 08 Jul 1999 18:29:30 +0200 | wenzelm | added commute: 'a seq list -> 'a list seq; | file | diff | annotate |
| Wed, 13 Jan 1999 15:18:02 +0100 | wenzelm | fixed titles; | file | diff | annotate |
| Sat, 14 Nov 1998 13:26:11 +0100 | wenzelm | prefixed op; | file | diff | annotate |
| Fri, 25 Sep 1998 12:01:47 +0200 | wenzelm | added REPEAT1; | file | diff | annotate |
| Wed, 10 Jun 1998 11:52:59 +0200 | wenzelm | moved seq.ML to General/seq.ML; | file | diff | annotate |