Fri, 12 Apr 2013 14:54:14 +0200 | wenzelm | tuned signature; | changeset | files |
Fri, 12 Apr 2013 12:20:51 +0200 | wenzelm | proper identifiers -- avoid crash of case translations; | changeset | files |
Fri, 12 Apr 2013 08:27:43 +0200 | nipkow | reduced duplication | changeset | files |
Thu, 11 Apr 2013 16:58:54 +0200 | traytel | do not add case translation syntax in rep_datatype compatibility mode | changeset | files |
Thu, 11 Apr 2013 16:39:01 +0200 | traytel | run type inference on input to wrap_data | changeset | files |
Thu, 11 Apr 2013 16:03:11 +0200 | traytel | installed case translations in BNF package | changeset | files |