Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. merge from afp-2021-1 (replaying devel commit)
  2. replaced python RAKE component with Isabelle/Scala Rake component;
  3. remove scala tools from publish;
Changeset 12736:bee741e8e528 by fabian huch _huch@in.tum.de_:
merge from afp-2021-1 (replaying devel commit)
Changeset 12735:d82ee6eb9b17 by fabian huch _huch@in.tum.de_:
replaced python RAKE component with Isabelle/Scala Rake component;
The file was addedtools/SmartStoplist.txt
The file was addedtools/rake.scala
The file was modified admin/components/afp
The file was modified etc/build.props
The file was modified tools/afp_site_gen.scala
The file was removedadmin/sitegen-lib/keywords.py
The file was removedadmin/sitegen-req.txt
The file was removedtools/python.scala
Changeset 12734:8a47690b85a0 by fabian huch _huch@in.tum.de_:
remove scala tools from publish;
The file was modified admin/publish
The file was modified etc/settings