Sat, 23 Apr 2011 19:41:53 +0200 hardwired mapping "_" -> "Pure.asm_rl" avoids legacy binding;
wenzelm [Sat, 23 Apr 2011 19:41:53 +0200] rev 42471
hardwired mapping "_" -> "Pure.asm_rl" avoids legacy binding;
Sat, 23 Apr 2011 19:22:11 +0200 more precise error positions;
wenzelm [Sat, 23 Apr 2011 19:22:11 +0200] rev 42470
more precise error positions;
Sat, 23 Apr 2011 18:46:01 +0200 clarified Consts.read_const;
wenzelm [Sat, 23 Apr 2011 18:46:01 +0200] rev 42469
clarified Consts.read_const;
Sat, 23 Apr 2011 18:25:50 +0200 clarified Type.the_decl;
wenzelm [Sat, 23 Apr 2011 18:25:50 +0200] rev 42468
clarified Type.the_decl;
Sat, 23 Apr 2011 18:09:27 +0200 more reports and error positions;
wenzelm [Sat, 23 Apr 2011 18:09:27 +0200] rev 42467
more reports and error positions;
Sat, 23 Apr 2011 17:02:12 +0200 added Name_Space.check/get convenience;
wenzelm [Sat, 23 Apr 2011 17:02:12 +0200] rev 42466
added Name_Space.check/get convenience;
Sat, 23 Apr 2011 16:30:00 +0200 clarified check_simproc (with report) vs. the_simproc;
wenzelm [Sat, 23 Apr 2011 16:30:00 +0200] rev 42465
clarified check_simproc (with report) vs. the_simproc; proper report for @{simproc} (NB: ML environment is built in invisible context); only one data slot for this module;
Sat, 23 Apr 2011 13:53:09 +0200 proper binding/report of defined simprocs;
wenzelm [Sat, 23 Apr 2011 13:53:09 +0200] rev 42464
proper binding/report of defined simprocs; tuned signature;
Sat, 23 Apr 2011 13:00:19 +0200 modernized specifications;
wenzelm [Sat, 23 Apr 2011 13:00:19 +0200] rev 42463
modernized specifications;
Fri, 22 Apr 2011 15:57:43 +0200 tuned signature;
wenzelm [Fri, 22 Apr 2011 15:57:43 +0200] rev 42462
tuned signature;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip