| Tue, 13 Oct 2009 11:03:55 +0200 | Cezary Kaliszyk | First (untested) version of regularize for abstractions. | changeset | files |
| Tue, 13 Oct 2009 09:26:19 +0200 | Christian Urban | restored old version | changeset | files |
| Tue, 13 Oct 2009 00:02:22 +0200 | Christian Urban | tuned | changeset | files |
| Mon, 12 Oct 2009 23:39:14 +0200 | Christian Urban | slightly modified the parser | changeset | files |