HomeIsabelle/Phabricator

replaced python RAKE component with Isabelle/Scala Rake component;

Description

replaced python RAKE component with Isabelle/Scala Rake component;

Details

Provenance
Fabian Huch <huch@in.tum.de>Authored on
Parents
rAFP8a47690b85a0: remove scala tools from publish;
Branches
Unknown
Tags
Unknown