| Tue, 25 May 2010 00:24:41 +0100 | Christian Urban | added slides | file | diff | annotate |
| Mon, 24 May 2010 21:11:33 +0100 | Christian Urban | tuned | file | diff | annotate |
| Mon, 24 May 2010 20:50:15 +0100 | Christian Urban | tuned | file | diff | annotate |
| Mon, 24 May 2010 20:02:37 +0100 | Christian Urban | alpha works now | file | diff | annotate |
| Sun, 23 May 2010 02:15:24 +0100 | Christian Urban | started to work on alpha | file | diff | annotate |
| Sat, 22 May 2010 13:51:47 +0100 | Christian Urban | properly exported bn_descr | file | diff | annotate |
| Fri, 21 May 2010 11:40:18 +0100 | Christian Urban | hving a working fv-definition without the export | file | diff | annotate |
| Fri, 21 May 2010 05:58:23 +0100 | Christian Urban | tuned | file | diff | annotate |
| 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 |