tuned -- prefer Config.T over Data;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEeeaa4021f080: proper "editor_tracing_messages=0" as in "isabelle dump";
- Branches
- Unknown
- Tags
tuned -- prefer Config.T over Data; Tags None Subscribers None |