Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. set default to devel version
  2. merge from afp-2017
  3. update docs
  4. admin: factor out common shell code; standardise isabelle tool access
  5. remove obsolote afp-test/isa-test scripts
Changeset 8789:122180657383 by kleing:
set default to devel version
The file was modified admin/version (diff)
Changeset 8788:0cef21fbb03e by kleing:
merge from afp-2017
Changeset 8787:3b76059ba536 by gerwin.klein@data61.csiro.au:
update docs
The file was modified doc/maintenance.md (diff)
The file was modified doc/the-archive.md (diff)
Changeset 8786:2d8d08f5b70f by gerwin.klein@data61.csiro.au:
admin: factor out common shell code; standardise isabelle tool access
The file was addedadmin/common
The file was addedadmin/version
The file was modified admin/publish (diff)
The file was modified admin/sitegen (diff)
The file was modified admin/testall (diff)
Changeset 8785:fc63d9fb3e72 by gerwin.klein@data61.csiro.au:
remove obsolote afp-test/isa-test scripts
The file was removedadmin/devel-copy
The file was removedadmin/main-config
The file was removedadmin/prepare-release