| Sat, 29 May 2010 15:31:15 +0200 | wenzelm | future result: retain plain Interrupt for vacuous group exceptions; | changeset | files |
| Fri, 28 May 2010 22:51:04 +0200 | blanchet | remove two examples, now that the definition of "fst" and "snd" has changed | changeset | files |
| Fri, 28 May 2010 22:34:21 +0200 | wenzelm | merged | changeset | files |
| Fri, 28 May 2010 19:36:48 +0100 | webertj | Got rid of a warning about duplicate rewrite rules. | changeset | files |