#1589 (Nov 3, 2021, 12:50:11 AM)

1. IDE build actually works (but somewhat pointless); (detail / hgweb)
2. suppress sources from jEdit/test, which prevent regular build of the generated scala_project; (detail / hgweb)
3. removed junk; (detail / hgweb)
4. improve pagebreaks by *not* using supertabular too much; (detail / hgweb)
5. updated to scala-2.13.7 --- problems with jline disappear after purging $HOME/.inputrc; (detail / hgweb)
6. more robust "isabelle scala_project": Gradle has been replaced by Maven; (detail / hgweb)

Started by an SCM change

This run spent:

• 9.9 sec waiting;
• 1 hr 39 min build duration;
• 1 hr 39 min total from scheduled to completion.