Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified signature;
  2. tuned messages;
  3. tuned whitespace;
  4. merged
  5. support to synchronize Isabelle + AFP repositories;
  6. more robust: local repository required;
  7. support option -r;
  8. omit pointless option;
  9. tuned;
  10. more documentation;
  11. support filter rules, notably "protect";
  12. support for "isabelle hg_sync";
  13. clarified signature;
  14. tuned comments;
  15. clarified signature;
  16. tuned signature;
  17. tuned signature;
  18. support rsync;
  19. added lemmas Multiset.bex_{least,greatest}_element
Changeset 75485:d8ee3e4d74ef by wenzelm:
clarified signature;
The file was modified src/Pure/Admin/sync_repos.scala (diff)
The file was modified src/Pure/General/mercurial.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 75484:f37df3759770 by wenzelm:
tuned messages;
The file was modified src/Pure/Admin/sync_repos.scala (diff)
Changeset 75483:022afbbf3194 by wenzelm:
tuned whitespace;
The file was modified NEWS (diff)
Changeset 75482:b1748f6ca6c8 by wenzelm:
merged
Changeset 75481:029cd4e1a2c7 by wenzelm:
support to synchronize Isabelle + AFP repositories;
The file was addedsrc/Pure/Admin/sync_repos.scala
The file was modified etc/build.props (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
Changeset 75480:6c93c13ba3c8 by wenzelm:
more robust: local repository required;
The file was modified NEWS (diff)
The file was modified src/Pure/General/mercurial.scala (diff)
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 75479:4363ad65ad36 by wenzelm:
support option -r;
The file was modified src/Doc/System/Misc.thy (diff)
The file was modified src/Pure/General/mercurial.scala (diff)
Changeset 75478:904607aedc4b by wenzelm:
omit pointless option;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 75477:1f0016095195 by wenzelm:
tuned;
The file was modified src/Pure/General/mercurial.scala (diff)
Changeset 75476:1148c190eb9b by wenzelm:
more documentation;
The file was modified NEWS (diff)
The file was modified src/Doc/System/Misc.thy (diff)
The file was modified src/Pure/General/mercurial.scala (diff)
Changeset 75475:f1d204a4d795 by wenzelm:
support filter rules, notably "protect";
The file was modified src/Pure/General/mercurial.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 75474:d16dd2d1b50a by wenzelm:
support for "isabelle hg_sync";
The file was modified src/Pure/General/mercurial.scala (diff)
The file was modified src/Pure/General/ssh.scala (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
Changeset 75473:d7035cfa1f14 by wenzelm:
clarified signature;
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 75472:ff6d4b48f23b by wenzelm:
tuned comments;
The file was modified src/Pure/General/mercurial.scala (diff)
Changeset 75471:63f904ae4134 by wenzelm:
clarified signature;
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 75470:e3f753ef0b5c by wenzelm:
tuned signature;
The file was modified src/Pure/General/mercurial.scala (diff)
Changeset 75469:c2fb64822a7b by wenzelm:
tuned signature;
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 75468:a1c7829ac2de by wenzelm:
support rsync;
The file was modified src/Pure/Admin/build_cygwin.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 75467:9e34819a7ca1 by desharna:
added lemmas Multiset.bex_{least,greatest}_element
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)