HomeIsabelle/Phabricator

avoid multiple copies of fonts;

Description

avoid multiple copies of fonts;
proper fonts prefix for aux. files;

Details

Provenance
makariusAuthored on
Parents
rISABELLEb2df121ccfc1: more compact persistent data;
Branches
Unknown
Tags
Unknown