| Sat, 23 Apr 2011 18:46:01 +0200 | wenzelm | clarified Consts.read_const; | changeset | files |
| Sat, 23 Apr 2011 18:25:50 +0200 | wenzelm | clarified Type.the_decl; | changeset | files |
| Sat, 23 Apr 2011 18:09:27 +0200 | wenzelm | more reports and error positions; | changeset | files |