| Tue, 04 May 2010 16:44:12 +0200 | Cezary Kaliszyk | Move LF to NewParser. Just works. | changeset | files |
| Tue, 04 May 2010 16:42:36 +0200 | Cezary Kaliszyk | merge | changeset | files |
| Tue, 04 May 2010 16:42:28 +0200 | Cezary Kaliszyk | ExLetMult | changeset | files |
| Tue, 04 May 2010 16:39:12 +0200 | Cezary Kaliszyk | Ex1Rec. | changeset | files |
| Tue, 04 May 2010 16:33:38 +0200 | Cezary Kaliszyk | merge | changeset | files |
| Tue, 04 May 2010 16:33:30 +0200 | Cezary Kaliszyk | merge | changeset | files |
| Tue, 04 May 2010 16:29:11 +0200 | Cezary Kaliszyk | ExPS3 in NewParser | changeset | files |
| Tue, 04 May 2010 16:22:21 +0200 | Cezary Kaliszyk | Move ExPS8 to new parser. | changeset | files |
| 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 |