HomeIsabelle/Phabricator

generate theory HTML in Isabelle/Scala;

Description

generate theory HTML in Isabelle/Scala;
discontinued HTML support in Isabelle/ML;

Details

Provenance
makariusAuthored on
Parents
rISABELLEb1388cfb64bb: merged
Branches
Unknown
Tags
Unknown