| Sat, 23 Apr 2011 19:41:53 +0200 |
wenzelm |
hardwired mapping "_" -> "Pure.asm_rl" avoids legacy binding;
|
changeset |
files
|
| 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
|
| Sat, 23 Apr 2011 13:00:19 +0200 |
wenzelm |
modernized specifications;
|
changeset |
files
|
| Fri, 22 Apr 2011 15:57:43 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 22 Apr 2011 15:25:01 +0200 |
wenzelm |
stats for mac-poly-M2;
|
changeset |
files
|
| Fri, 22 Apr 2011 15:24:00 +0200 |
wenzelm |
simplified Data signature;
|
changeset |
files
|
| Fri, 22 Apr 2011 15:05:04 +0200 |
wenzelm |
misc tuning and simplification;
|
changeset |
files
|
| Fri, 22 Apr 2011 14:53:11 +0200 |
wenzelm |
misc tuning;
|
changeset |
files
|
| Fri, 22 Apr 2011 14:38:49 +0200 |
wenzelm |
do not open ML structures;
|
changeset |
files
|