Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. proper keys (amending 36cf00eeb9e4);
  2. add separate Isabelle tool for metadata editing;
  3. better defaults;
  4. clarified AFP base dir: usually given by environment;
Changeset 14275:c34ca8a848b0 by fabian huch _huch@in.tum.de_:
proper keys (amending 36cf00eeb9e4);
The file was modified tools/afp_submit.scala
Changeset 14274:6539b6f3e1cf by fabian huch _huch@in.tum.de_:
add separate Isabelle tool for metadata editing;
The file was modified tools/afp_submit.scala
The file was modified tools/afp_tool.scala
Changeset 14273:d2e29e073f08 by fabian huch _huch@in.tum.de_:
better defaults;
The file was modified tools/afp_site_gen.scala
Changeset 14272:bec250baad75 by fabian huch _huch@in.tum.de_:
clarified AFP base dir: usually given by environment;
The file was modified tools/afp_release.scala
The file was modified tools/afp_site_gen.scala
The file was modified tools/afp_structure.scala
The file was modified tools/afp_submit.scala