| Mon, 07 Jun 2010 11:46:26 +0200 | Christian Urban | merged | 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 |
| Mon, 07 Jun 2010 11:33:00 +0200 | Christian Urban | improved abstract, some tuning | 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 16:25:45 +0100 | Christian Urban | minor tuning | file | diff | annotate |
| Fri, 14 May 2010 15:37:23 +0200 | Cezary Kaliszyk | Proper fv/alpha for multiple compound binders | file | diff | annotate |
| Fri, 14 May 2010 10:21:14 +0200 | Cezary Kaliszyk | Fv for multiple binding functions | file | diff | annotate |