HomeIsabelle/Phabricator

more realistic timeout: 20min CPU time;

Authored by makarius.

Description

more realistic timeout: 20min CPU time;

Details

Committed
makariusSat, Jul 11, 10:25 PM
Parents
rAFPaeedb987222c: tuned whitespace;
Branches
Unknown
Tags
Unknown