show symbols in Isabelle/ML instead of perl;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEb13b2c1d419e: more robust run of makeindex (amending 0f0a2148a099, Gerwin Klein 2004), using…
- Branches
- Unknown
- Tags