| Sat, 23 Apr 2011 19:22:11 +0200 | wenzelm | more precise error positions; | changeset | files |
| 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 |
| Sat, 23 Apr 2011 17:02:12 +0200 | wenzelm | added Name_Space.check/get convenience; | changeset | files |
| Sat, 23 Apr 2011 16:30:00 +0200 | wenzelm | clarified check_simproc (with report) vs. the_simproc; | changeset | files |
| Sat, 23 Apr 2011 13:53:09 +0200 | wenzelm | proper binding/report of defined simprocs; | changeset | files |