Admin/components/bundled-linux
author wenzelm
Sat, 04 Feb 2023 23:08:36 +0100
changeset 77190 f6ba88f23135
parent 73193 b8e12e94cfca
permissions -rw-r--r--
clarified "isabelle build_polyml": download and build everything for current platform; renamed former "isabelle build_polyml" to "isabelle make_poly", for experimentation and diagnosis;

#additional components to be bundled for release
Isabelle_app-20210126