HomeIsabelle/Phabricator

more symbolic latex output;

Description

more symbolic latex output;
discontinued Latex.output_text, which is in conflict with symbolic output;

Details

Provenance
makariusAuthored on
Parents
rISABELLE4671d29feb00: tuned signature;
Branches
Unknown
Tags
Unknown