HomeIsabelle/Phabricator

moved web_app module from AFP (e.g., for building web services for the…

Description

moved web_app module from AFP (e.g., for building web services for the distributed build);

Details

Provenance
Fabian Huch <huch@in.tum.de>Authored on
Parents
rISABELLE68f6b29ae066: tuned;
Branches
Unknown
Tags
Unknown