Mon, 20 Jan 2014 23:07:23 +0100 | blanchet | moved 'bacc' back to 'Enum' (cf. 744934b818c7) -- reduces baggage loaded by 'Hilbert_Choice' | changeset | files |
Mon, 20 Jan 2014 22:24:48 +0100 | blanchet | renamed 'regular' to 'regularCard' to avoid clashes (e.g. in Meson_Test) | changeset | files |
Mon, 20 Jan 2014 21:45:08 +0100 | blanchet | hide BNF notation | changeset | files |