| 2010-05-21 | Christian Urban | tuned | file | diff | annotate |
| 2010-05-20 | Christian Urban | new fv/fv_bn function (supp breaks now); exported raw perms and raw funs into separate ML-files | file | diff | annotate |
| 2010-05-21 | Cezary Kaliszyk | Renamings | file | diff | annotate |
| 2010-05-17 | Christian Urban | minor tuning | file | diff | annotate |
| 2010-05-17 | Christian Urban | slight tuning | file | diff | annotate |
| 2010-05-17 | Christian Urban | somewhat simplified the main parsing function; failed to move a Note-statement to define_raw_perms | file | diff | annotate |
| 2010-05-16 | 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 |
| 2010-05-13 | Christian Urban | made out of STEPS a configuration value so that it can be set individually in each file | file | diff | annotate |