Mon, 17 May 2010 17:34:02 +0200 | Cezary Kaliszyk | merge | changeset | files |
Mon, 17 May 2010 17:31:18 +0200 | Cezary Kaliszyk | alpha_alphabn for bindings in a type under bn. | changeset | files |
Mon, 17 May 2010 16:25:45 +0100 | Christian Urban | minor tuning | changeset | files |
Mon, 17 May 2010 16:29:33 +0200 | Cezary Kaliszyk | Ex4 does work, and I don't see the difference between the alphas. | changeset | files |
Mon, 17 May 2010 12:46:51 +0100 | Christian Urban | slight tuning | changeset | files |
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 | changeset | files |