Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. discontinued somewhat point dmg: plain .tar.gz is smaller and more convenient to install;
  3. clarified defaults for Windows/Cygwin hybrid;
  4. proper path before tar -C context switch;
  5. replaced "isabelle components_checksum" shell script by "isabelle build_components" in Scala, with more functionality; more robust Component.Archive name: avoid rm_tree accidents;
  6. clarified sort order (again, see also 81a75d9a9a4e);
  7. clarified operations: uniform sorting of results;
  8. clarified modules;
  9. clarified gnutar options: more uniform owner;
  10. clarified application bundling: discontinued redundant archives;
  11. Tagged some theories in HOL-Analysis: Cauchy_Integral_Theorem, Riemann_Mapping and Winding_Numbers.
Changeset 69433:9e5938af9ac0 by wenzelm:
merged
Changeset 69432:d072f3287ffa by wenzelm:
discontinued somewhat point dmg: plain .tar.gz is smaller and more convenient to install;
The file was modified Admin/Release/CHECKLIST (diff)
The file was modified Admin/components/bundled-macos (diff)
The file was modified Admin/components/components.sha1 (diff)
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was modified src/Pure/Admin/isabelle_devel.scala (diff)
Changeset 69431:10fc8a648250 by wenzelm:
clarified defaults for Windows/Cygwin hybrid;
The file was modified etc/options (diff)
Changeset 69430:684935cbc8e1 by wenzelm:
proper path before tar -C context switch;
The file was modified src/Pure/Admin/components.scala (diff)
Changeset 69429:dc5fbcb07c7b by wenzelm:
replaced &quot;isabelle components_checksum&quot; shell script by &quot;isabelle build_components&quot; in Scala, with more functionality;<br>more robust Component.Archive name: avoid rm_tree accidents;
The file was addedAdmin/etc/options
The file was modified Admin/components/README (diff)
The file was modified src/Pure/Admin/components.scala (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was removedAdmin/lib/Tools/components_checksum
Changeset 69428:38ad31191210 by wenzelm:
clarified sort order (again, see also 81a75d9a9a4e);
The file was modified Admin/components/components.sha1 (diff)
Changeset 69427:ff2f39a221d4 by wenzelm:
clarified operations: uniform sorting of results;
The file was modified src/Pure/General/file.ML (diff)
The file was modified src/Pure/General/file.scala (diff)
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 69426:91f46633bb4e by wenzelm:
clarified modules;
The file was addedsrc/Pure/Admin/components.scala
The file was modified src/Pure/build-jars (diff)
The file was removedsrc/Pure/System/components.scala
Changeset 69425:94f6ca69d983 by wenzelm:
clarified gnutar options: more uniform owner;
The file was modified src/Pure/Admin/build_cygwin.scala (diff)
The file was modified src/Pure/Admin/build_jdk.scala (diff)
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/System/components.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 69424:840f0cadeba8 by wenzelm:
clarified application bundling: discontinued redundant archives;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 69423:3922aa1df44e by wenda li _wl302@cam.ac.uk_:
Tagged some theories in HOL-Analysis: Cauchy_Integral_Theorem, Riemann_Mapping and Winding_Numbers.
The file was modified src/HOL/Analysis/Cauchy_Integral_Theorem.thy (diff)
The file was modified src/HOL/Analysis/Riemann_Mapping.thy (diff)
The file was modified src/HOL/Analysis/Winding_Numbers.thy (diff)