tuned whitespace for "isabelle doc" display;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE389d77e6be9f: support for Easychair style with demo document;
- Branches
- Unknown
- Tags
tuned whitespace for "isabelle doc" display; Tags None Subscribers None |