Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. updated example;
  2. clarified options (again);
  3. more options: update ISABELLE_IDENTIFIER;
Changeset 73590:1aa9ef7a3eaf by wenzelm:
updated example;
The file was modified README_REPOSITORY (diff)
Changeset 73589:479e9b17090e by wenzelm:
clarified options (again);
The file was modified Admin/init (diff)
The file was modified README_REPOSITORY (diff)
Changeset 73588:a96de8bbe8a3 by wenzelm:
more options: update ISABELLE_IDENTIFIER;
The file was modified Admin/init (diff)