HomeIsabelle/Phabricator

more uniform document antiquotations for ML: consolidate former setup for…

Description

more uniform document antiquotations for ML: consolidate former setup for manuals;

Details

Provenance
makariusAuthored on
Parents
rISABELLE35d8132633c6: clarified names;
Branches
Unknown
Tags
Unknown