Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper Isabelle/Scala tool;
  2. more operations;
  3. tuned;
Changeset 65071:9ed87c82cbe7 by wenzelm:
proper Isabelle/Scala tool;
The file was addedsrc/Pure/Admin/build_cygwin.scala
The file was modified Admin/Windows/Cygwin/README (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was removedAdmin/lib/Tools/makedist_cygwin
Changeset 65070:1222c010bff7 by wenzelm:
more operations;
The file was modified src/Pure/General/bytes.scala (diff)
Changeset 65069:1995b421d8ef by wenzelm:
tuned;
The file was modified src/Pure/General/url.scala (diff)