Summary
- build HTML library in Isabelle/Scala;
- proper echo; tuned;
- more robust bootstrap, e.g. when experimenting with Poly/ML repository changes;
The file was modified | src/Pure/Admin/build_release.scala (diff) |
The file was removed | Admin/Release/build_library |
The file was modified | src/Pure/Admin/other_isabelle.scala (diff) |
The file was modified | src/Pure/ROOT (diff) |