merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rISABELLE0239bee6bffd: more removal of applys
rISABELLEde37910974da: avoid hard-wired stuff: configure via plugin services; - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Merged Changes
Merged Changes
- 3d514ab74161 tuned message;Author
- a2afc7ed2c68 another isabelle_scala_service;Author
- 1cffe8f4d7b3 more automation and clarificationAuthor