Thu, 29 Apr 2010 16:16:45 +0200 | Cezary Kaliszyk | Some of the exceptions that the parser should check in TODO. | file | diff | annotate |
Sun, 11 Apr 2010 22:01:56 +0200 | Christian Urban | added TODO item about parser creating syntax for the wrong type | file | diff | annotate |
Sun, 11 Apr 2010 18:06:45 +0200 | Christian Urban | added small ittems about equivaraince of alpha_gens and name of lam.perm | file | diff | annotate |