Thu, 10 Apr 2008 20:54:18 +0200 | wenzelm | use_text: explicitly print exception, which is no longer done by the new PolyML.compiler setup; | changeset | files |
Thu, 10 Apr 2008 20:54:17 +0200 | wenzelm | transaction/init: ensure stable theory (non-draft); | changeset | files |