HomeIsabelle/Phabricator

prefer current mathpartir.sty from underlying TeX distribution;

Authored by makarius.

Description

prefer current mathpartir.sty from underlying TeX distribution;

Details

Committed
makariusFri, Sep 11, 2:04 PM
Parents
rISABELLE8c5b8d7999bd: more checks;
Branches
Unknown
Tags
Unknown