![[Jenkins]](/jenkins/static/109fb1e5/images/svgs/logo.svg){kind=logo}
Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)
Summary
- replaced python RAKE component with Isabelle/Scala Rake component;
| The file was added | tools/SmartStoplist.txt |
| The file was added | tools/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 removed | admin/sitegen-lib/keywords.py |
| The file was removed | admin/sitegen-req.txt |
| The file was removed | tools/python.scala |