Changes

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

Summary

  1. replaced python RAKE component with Isabelle/Scala Rake component;
Changeset 12733:3f502f9f9cc7 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 modifiedadmin/components/afp
The file was modifiedetc/build.props
The file was modifiedtools/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