Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

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

Summary

  1. updated example;
  2. clarified options;
Changeset 73585:386416437ce9 by wenzelm:
updated example;
The file was modified README_REPOSITORY
Changeset 73584:1d4c9fa00821 by wenzelm:
clarified options;
The file was modified Admin/init
The file was modified README_REPOSITORY