| Mon, 24 May 2010 20:02:37 +0100 | Christian Urban | alpha works now | 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 |
| Wed, 19 May 2010 12:43:38 +0100 | Christian Urban | added comments about pottiers work | 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 |
| Wed, 12 May 2010 13:43:48 +0100 | Christian Urban | properly exported defined bn-functions | file | diff | annotate |
| Tue, 04 May 2010 14:33:50 +0100 | Christian Urban | fixed my error with define_raw_fv | file | diff | annotate |