Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. promote "isabelle sync" to regular user-space tool, with proper documentation;
  2. more comments;
Changeset 75555:197a5b3a1ea2 by wenzelm:
promote "isabelle sync" to regular user-space tool, with proper documentation;
The file was addedsrc/Pure/Tools/sync.scala
The file was modified NEWS (diff)
The file was modified etc/build.props (diff)
The file was modified src/Doc/System/Misc.thy (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was removedsrc/Pure/Admin/sync.scala
Changeset 75554:be33ca6f45d7 by wenzelm:
more comments;
The file was modified src/Pure/General/rsync.scala (diff)