Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. back to build_polyml_component according to 54c6ec4166a4 (amending 808e6ddb5a50);
  2. reactivated unfinished tool (cf. a3a847c4fbdb);
Changeset 66846:c04f46a6f29d by wenzelm:
back to build_polyml_component according to 54c6ec4166a4 (amending 808e6ddb5a50);
The file was modified Admin/polyml/CHECKLIST (diff)
Changeset 66845:6847eb01ae47 by wenzelm:
reactivated unfinished tool (cf. a3a847c4fbdb);
The file was modified src/Pure/System/isabelle_tool.scala (diff)