| Thu, 20 May 2010 21:23:53 +0100 | Christian Urban | new fv/fv_bn function (supp breaks now); exported raw perms and raw funs into separate ML-files | file | diff | annotate |
| Fri, 21 May 2010 10:42:53 +0200 | Cezary Kaliszyk | Renamings | file | diff | annotate |
| Mon, 17 May 2010 16:25:45 +0100 | Christian Urban | minor tuning | file | diff | annotate |
| Mon, 17 May 2010 12:46:51 +0100 | Christian Urban | slight tuning | file | diff | annotate |
| Mon, 17 May 2010 12:00:54 +0100 | Christian Urban | somewhat simplified the main parsing function; failed to move a Note-statement to define_raw_perms | file | diff | annotate |
| Sun, 16 May 2010 12:41:27 +0100 | Christian Urban | moved the exporting part into the parser (this is still a hack); re-added CoreHaskell again to the examples - there seems to be a problem with the variable name pat | file | diff | annotate |
| Thu, 13 May 2010 15:58:02 +0100 | Christian Urban | made out of STEPS a configuration value so that it can be set individually in each file | file | diff | annotate |