discontinued obsolete "isabelle latex";
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEc46ff0efa1ce: more direct use of latex tools: avoid diversion into "isabelle latex -o pdf"…
- Branches
- Unknown
- Tags
discontinued obsolete "isabelle latex"; Tags None Subscribers None |