HomeIsabelle/Phabricator

proper Isabelle component settings: prefer standard terminology…

Description

proper Isabelle component settings: prefer standard terminology "ISABELLE_VERIT", avoid conflict of "VERIT_VERSION" with processing of implicit options by veriT;

Details

Provenance
makariusAuthored on
Parents
rISABELLE56ef403eab15: provide verit-2020.10-rmx for testing (inactive);
Branches
Unknown
Tags
Unknown