avoid accidental update of base session sources (following documentation in "system" manual);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEf55222fbeae3: avoid duplicate stderr output in isabelle build -v, e.g. "Timing ..." (amending…
- Branches
- Unknown
- Tags