| Mon, 15 Nov 2010 17:39:23 +0100 | wenzelm | eliminated old-style sed in favour of builtin regex matching; | changeset | files |
| Mon, 15 Nov 2010 17:14:43 +0100 | wenzelm | more robust treatment of spaces in file names; | changeset | files |
| Mon, 15 Nov 2010 15:41:58 +0100 | wenzelm | tuned error messages; | changeset | files |
| Mon, 15 Nov 2010 14:59:53 +0100 | wenzelm | merged | changeset | files |
| Mon, 15 Nov 2010 14:59:21 +0100 | haftmann | re-generalized type of option_rel and sum_rel (accident from 2989f9f3aa10) | changeset | files |
| Mon, 15 Nov 2010 14:14:38 +0100 | haftmann | re-generalized type of prod_rel (accident from 2989f9f3aa10) | changeset | files |
| Mon, 15 Nov 2010 00:20:36 +0100 | boehmes | formal dependency on b2i files | changeset | files |
| Sun, 14 Nov 2010 23:55:25 +0100 | boehmes | merged | changeset | files |