clarified signature: process_result timing from Isabelle/Scala;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEf5a77ee9106c: proper treatment of process_result;
- Branches
- Unknown
- Tags
clarified signature: process_result timing from Isabelle/Scala; Tags None Subscribers None |