Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

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;
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
The file was modified Admin/components/bundled-macos
The file was modified Admin/components/components.sha1
The file was modified src/Pure/Admin/build_release.scala
The file was modified src/Pure/Admin/isabelle_cronjob.scala
The file was modified src/Pure/Admin/isabelle_devel.scala
Changeset 69431:10fc8a648250 by wenzelm:
clarified defaults for Windows/Cygwin hybrid;
The file was modified etc/options
Changeset 69430:684935cbc8e1 by wenzelm:
proper path before tar -C context switch;
The file was modified src/Pure/Admin/components.scala
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
The file was modified src/Pure/Admin/components.scala
The file was modified src/Pure/System/isabelle_tool.scala
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
Changeset 69427:ff2f39a221d4 by wenzelm:
clarified operations: uniform sorting of results;
The file was modified src/Pure/General/file.ML
The file was modified src/Pure/General/file.scala
The file was modified src/Pure/General/ssh.scala
Changeset 69426:91f46633bb4e by wenzelm:
clarified modules;
The file was addedsrc/Pure/Admin/components.scala
The file was modified src/Pure/build-jars
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
The file was modified src/Pure/Admin/build_jdk.scala
The file was modified src/Pure/Admin/build_release.scala
The file was modified src/Pure/System/components.scala
The file was modified src/Pure/System/isabelle_system.scala
Changeset 69424:840f0cadeba8 by wenzelm:
clarified application bundling: discontinued redundant archives;
The file was modified src/Pure/Admin/build_release.scala