HomeIsabelle/Phabricator

more robust: size varies due to different position information in "isabelle…

Authored by makarius.

Description

more robust: size varies due to different position information in "isabelle build" vs. "isabelle dump";

Details

Committed
makariusNov 23 2019, 4:02 PM
Parents
rISABELLE25b872d1d421: clarified signature;
Branches
Unknown
Tags
Unknown