clarified "isabelle build_polyml": download and build everything for current platform;
renamed former "isabelle build_polyml" to "isabelle make_poly", for experimentation and diagnosis;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE461c078e545f: no view_document after build: avoid loss of focus, especially in "auto build"…
- Branches
- Unknown
- Tags