E.g. using Isabelle2020-RC1, isabelle dump on all of Isabelle + AFP is relatively unstable: the ML and/or Java process hangs (or evaporates) after a long time.
For Isabelle/MMT this usually works, but it can occasionally show similar problems.
E.g. using Isabelle2020-RC1, isabelle dump on all of Isabelle + AFP is relatively unstable: the ML and/or Java process hangs (or evaporates) after a long time.
For Isabelle/MMT this usually works, but it can occasionally show similar problems.