Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned;
  2. clarified;
  3. tuned message;
  4. tuned message;
  5. more accurate settings after update of current version;
  6. clarified messages;
  7. more robust: lest hg work out remote tip; more options;
  8. more options;
  9. clarified treatment of multiple versions: last one counts; more options;
  10. more robust;
  11. more robust: explicit repository root;
  12. more robust;
  13. more convenient repository setup;
  14. tuned;
  15. more robust invocation of hg;
  16. more robust: idempotent;
  17. more robust invocation of hg;
  18. tuned;
  19. clarified output; more options;
  20. support repository archives (without full .hg directory);
  21. more robust invocation of hg;
  22. record official releases that follow a certain structure, with public access via https://isabelle.sketis.net/repos/isabelle/raw-file/tip/Admin/Release/official (NB: Isabelle2013-1 had to be retracted);
Changeset 73499:53626e34d1ca by wenzelm:
tuned;
The file was modified README_REPOSITORY (diff)
Changeset 73498:f5e9ade80579 by wenzelm:
clarified;
The file was modified README_REPOSITORY (diff)
Changeset 73497:7cdcf131699d by wenzelm:
tuned message;
The file was modified lib/Tools/setup (diff)
Changeset 73496:2d00ea4972d7 by wenzelm:
tuned message;
The file was modified lib/Tools/setup (diff)
Changeset 73495:6365c1b7ac10 by wenzelm:
more accurate settings after update of current version;
The file was modified lib/Tools/setup (diff)
Changeset 73494:e16133a05458 by wenzelm:
clarified messages;
The file was modified lib/Tools/setup (diff)
Changeset 73493:827f53095f1c by wenzelm:
more robust: lest hg work out remote tip;<br>more options;
The file was modified lib/Tools/setup (diff)
Changeset 73492:8c93418ea257 by wenzelm:
more options;
The file was modified lib/Tools/setup (diff)
Changeset 73491:dbe5bbc2331e by wenzelm:
clarified treatment of multiple versions: last one counts;<br>more options;
The file was modified lib/Tools/setup (diff)
Changeset 73490:d31d229eb8df by wenzelm:
more robust;
The file was modified lib/Tools/setup (diff)
Changeset 73489:9460f1f45405 by wenzelm:
more robust: explicit repository root;
The file was modified lib/Tools/setup (diff)
Changeset 73488:97692af929a4 by wenzelm:
more robust;
The file was modified lib/Tools/setup (diff)
Changeset 73487:47f055b40ab9 by wenzelm:
more convenient repository setup;
The file was addedlib/Tools/setup
The file was modified README_REPOSITORY (diff)
Changeset 73486:1a6637572b70 by wenzelm:
tuned;
The file was modified Admin/cronjob/self_update (diff)
Changeset 73485:3cbf041f544a by wenzelm:
more robust invocation of hg;
The file was modified Admin/cronjob/self_update (diff)
Changeset 73484:4f8849357ba7 by wenzelm:
more robust: idempotent;
The file was modified lib/Tools/components (diff)
The file was modified src/Doc/System/Misc.thy (diff)
Changeset 73483:804e75127f29 by wenzelm:
more robust invocation of hg;
The file was modified Admin/cronjob/plain_identify (diff)
The file was modified Admin/lib/Tools/churn (diff)
The file was modified Admin/lib/Tools/churn_pie (diff)
The file was modified lib/Tools/version (diff)
The file was modified src/Pure/General/mercurial.scala (diff)
Changeset 73482:9830d7981ad0 by wenzelm:
tuned;
The file was modified lib/Tools/version (diff)
Changeset 73481:92db3e31fae3 by wenzelm:
clarified output;<br>more options;
The file was modified NEWS (diff)
The file was modified lib/Tools/version (diff)
The file was modified src/Doc/System/Misc.thy (diff)
Changeset 73480:0e880b793db1 by wenzelm:
support repository archives (without full .hg directory);
The file was modified NEWS (diff)
The file was modified lib/Tools/version (diff)
The file was modified src/Doc/System/Misc.thy (diff)
Changeset 73479:6e20976d58f5 by wenzelm:
more robust invocation of hg;
The file was modified Admin/cronjob/plain_identify (diff)
The file was modified Admin/cronjob/self_update (diff)
The file was modified Admin/lib/Tools/churn (diff)
The file was modified Admin/lib/Tools/churn_pie (diff)
Changeset 73478:1be70e3de751 by wenzelm:
record official releases that follow a certain structure, with public access via https://isabelle.sketis.net/repos/isabelle/raw-file/tip/Admin/Release/official (NB: Isabelle2013-1 had to be retracted);
The file was addedAdmin/Release/official
The file was modified Admin/Release/CHECKLIST (diff)