Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. more meta data; clarified signature: more explicit types;
  3. clarified signature: more operations;
  4. tuned messages;
  5. provide .hg_sync meta data; always clean target, but guard it wrt. .hg_sync for robustness (no need for dry-run); updated and clarified documentation;
  6. clarified signature; clarified version of locally changed repository;
  7. clarified options;
  8. more robust;
  9. clarified signature (again);
  10. clarified signature;
  11. NEWS
  12. added lemmas reflp_on_subset, totalp_on_subset, and total_on_subset
  13. introduced predicate reflp_on and redefined reflp to be an abbreviation
Changeset 75515:8c32f0210a1a by wenzelm:
merged
Changeset 75514:0c2ff768caf5 by wenzelm:
more meta data;<br>clarified signature: more explicit types;
The file was modified src/Pure/General/mercurial.scala (diff)
Changeset 75513:36316c6a3fc2 by wenzelm:
clarified signature: more operations;
The file was modified src/Pure/General/ssh.scala (diff)
Changeset 75512:2251548ec4a8 by wenzelm:
tuned messages;
The file was modified src/Pure/Admin/sync_repos.scala (diff)
Changeset 75511:b32fdb67f851 by wenzelm:
provide .hg_sync meta data;<br>always clean target, but guard it wrt. .hg_sync for robustness (no need for dry-run);<br>updated and clarified documentation;
The file was modified src/Doc/System/Misc.thy (diff)
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 75510:0106c89fb71f by wenzelm:
clarified signature;<br>clarified version of locally changed repository;
The file was modified src/Pure/General/mercurial.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 75509:b22228173915 by wenzelm:
clarified options;
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 75508:64d48fb1b37b by wenzelm:
more robust;
The file was modified src/Pure/General/file.scala (diff)
Changeset 75507:a5e0f1c66c26 by wenzelm:
clarified signature (again);
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 75506:ee51db628e71 by wenzelm:
clarified signature;
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/Admin/sync_repos.scala (diff)
The file was modified src/Pure/General/mercurial.scala (diff)
Changeset 75505:a7c6722fbaf1 by desharna:
NEWS
The file was modified NEWS (diff)
Changeset 75504:75e1b94396c6 by desharna:
added lemmas reflp_on_subset, totalp_on_subset, and total_on_subset
The file was modified NEWS (diff)
The file was modified src/HOL/Relation.thy (diff)
Changeset 75503:e5d88927e017 by desharna:
introduced predicate reflp_on and redefined reflp to be an abbreviation
The file was modified NEWS (diff)
The file was modified src/HOL/Relation.thy (diff)
The file was modified src/HOL/Tools/BNF/bnf_util.ML (diff)
The file was modified src/HOL/Tools/Lifting/lifting_setup.ML (diff)