HomeIsabelle/Phabricator

adapted to Isabelle/592e2afdd50c;

Authored by makarius.

Description

adapted to Isabelle/592e2afdd50c;

Details

Committed
makariusNov 29 2019, 8:57 PM
Parents
rAFP6128683958ca: more realistic timeout;
Branches
Unknown
Tags
Unknown