ISABELLE_PDFLATEX is now lualatex;
tuned whitespace to enforce fresh build;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEbabd74b71ea8: added lemma
- Branches
- Unknown
- Tags
ISABELLE_PDFLATEX is now lualatex; Tags None Subscribers None
Description
Details
|