Mercurial Mercurial > repos > isabelle / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/components/bundled-windows
author wenzelm
Fri, 27 Jan 2023 15:22:26 +0100
changeset 77108 4f68b165d69e
parent 76242 d704efeb01db
child 78305 9f2f61d766f4
permissions -rw-r--r--
back to Scala 3.2.0 for now, since 3.2.1 causes odd crash of REPL concerning value classes (e.g. "isabelle.Time.now()"); enforce rebuild of Isabelle/ML + Isabelle/Scala;

#additional components to be bundled for release
cygwin-20221002
windows_app-20181006
isabelle