Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. build HTML library in Isabelle/Scala;
  2. proper echo; tuned;
  3. more robust bootstrap, e.g. when experimenting with Poly/ML repository changes;
Changeset 64316:96fef7745c68 by wenzelm:
build HTML library in Isabelle/Scala;
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was removedAdmin/Release/build_library
Changeset 64315:e48e2532ac17 by wenzelm:
proper echo;<br>tuned;
The file was modified src/Pure/Admin/other_isabelle.scala (diff)
Changeset 64314:93de02f9c2d9 by wenzelm:
more robust bootstrap, e.g. when experimenting with Poly/ML repository changes;
The file was modified src/Pure/ROOT (diff)