Summary
- back to build_polyml_component according to 54c6ec4166a4 (amending 808e6ddb5a50);
- reactivated unfinished tool (cf. a3a847c4fbdb);
The file was modified | Admin/polyml/CHECKLIST (diff) |
The file was modified | src/Pure/System/isabelle_tool.scala (diff) |