Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. IDE build actually works (but somewhat pointless);
  2. suppress sources from jEdit/test, which prevent regular build of the generated scala_project;
  3. removed junk;
  4. improve pagebreaks by *not* using supertabular too much;
  5. updated to scala-2.13.7 --- problems with jline disappear after purging $HOME/.inputrc;
  6. more robust "isabelle scala_project": Gradle has been replaced by Maven;
Changeset 74661:591303cc04c2 by wenzelm:
IDE build actually works (but somewhat pointless);
The file was modified src/Doc/System/Scala.thy (diff)
Changeset 74660:a755733c1eb5 by wenzelm:
suppress sources from jEdit/test, which prevent regular build of the generated scala_project;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Pure/Admin/build_jedit.scala (diff)
Changeset 74659:f1c53e78d0f0 by wenzelm:
removed junk;
The file was modified src/Pure/Tools/scala_project.scala (diff)
Changeset 74658:4c508826fee8 by wenzelm:
improve pagebreaks by *not* using supertabular too much;
The file was modified src/Doc/Main/Main_Doc.thy (diff)
Changeset 74657:9fcf80ceb863 by wenzelm:
updated to scala-2.13.7 --- problems with jline disappear after purging $HOME/.inputrc;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/HOL/Tools/Mirabelle/mirabelle.scala (diff)
The file was modified src/Pure/PIDE/session.scala (diff)
The file was modified src/Pure/Thy/export_theory.scala (diff)
The file was modified src/Pure/Thy/html.scala (diff)
The file was modified src/Pure/Tools/build_job.scala (diff)
Changeset 74656:0659536b150b by wenzelm:
more robust "isabelle scala_project": Gradle has been replaced by Maven;
The file was modified NEWS (diff)
The file was modified src/Doc/System/Scala.thy (diff)
The file was modified src/Pure/Tools/scala_project.scala (diff)