wenzelm [Mon, 23 Jul 2007 20:47:55 +0200] rev 23943
added compatibility wrapper for polyml-5.1;
wenzelm [Mon, 23 Jul 2007 19:45:49 +0200] rev 23942
marked some CRITICAL sections;
eliminated transform_failure (to avoid critical section for main transactions);
wenzelm [Mon, 23 Jul 2007 19:45:48 +0200] rev 23941
avoid global reference warned'';
wenzelm [Mon, 23 Jul 2007 19:45:47 +0200] rev 23940
marked some CRITICAL sections;
eliminated transform_failure (to avoid critical section for main transactions);
removed unused exceptions MetaSimplifier.SIMPROC_FAIL, Attrib.ATTRIB_FAIL, Method.METHOD_FAIL, Antiquote.ANTIQUOTE_FAIL;
wenzelm [Mon, 23 Jul 2007 19:45:46 +0200] rev 23939
marked some CRITICAL sections;
wenzelm [Mon, 23 Jul 2007 19:45:45 +0200] rev 23938
depth flag: plain bool ref;
eliminated transform_failure (to avoid critical section for main transactions);