| Tue, 04 May 2010 16:30:31 +0200 | Cezary Kaliszyk | Fix for new isabelle | changeset | files |
| Tue, 04 May 2010 16:18:07 +0200 | Cezary Kaliszyk | merge | changeset | files |
| Tue, 04 May 2010 16:17:46 +0200 | Cezary Kaliszyk | Minor | changeset | files |
| Tue, 04 May 2010 14:38:07 +0100 | Christian Urban | increased step counter so that all steps go through | changeset | files |
| Tue, 04 May 2010 14:33:50 +0100 | Christian Urban | fixed my error with define_raw_fv | changeset | files |
| Tue, 04 May 2010 14:25:22 +0100 | Christian Urban | tuned and added some comments to the code; added also an exception for early exit of the nominal2_cmd function | changeset | files |
| Tue, 04 May 2010 14:21:18 +0200 | Cezary Kaliszyk | Separate Term8, as it may work soon. | changeset | files |
| Tue, 04 May 2010 14:13:18 +0200 | Cezary Kaliszyk | moved CoreHaskell to NewParser. | changeset | files |
| Tue, 04 May 2010 13:52:40 +0200 | Cezary Kaliszyk | ExPS7 in NewParser | changeset | files |
| Tue, 04 May 2010 12:34:33 +0200 | Cezary Kaliszyk | Move ExLeroy to New Parser | changeset | files |
| Tue, 04 May 2010 11:22:22 +0200 | Cezary Kaliszyk | Move 2 more to NewParser | changeset | files |
| Tue, 04 May 2010 11:12:09 +0200 | Cezary Kaliszyk | Move TypeSchemes to NewParser | changeset | files |