Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Added tag Isabelle2022-RC0 for changeset b42e20adaeed
  2. proper Java/Scala compiler classpath for standalone application (see also make_isabelle_app() in Pure/Admin/build_release.scala);
  3. clarified message;
  4. provide naproche-20220808 (inactive);
  5. more robust data representation: notably for Store.read_session_timing with database_server;
Changeset 75798:8b0dbfbde032 by wenzelm:
Added tag Isabelle2022-RC0 for changeset b42e20adaeed
The file was modified .hgtags (diff)
Changeset 75797:b42e20adaeed by wenzelm:
proper Java/Scala compiler classpath for standalone application (see also make_isabelle_app() in Pure/Admin/build_release.scala);
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Tools/Setup/src/Build.java (diff)
Changeset 75796:e5c3353df22e by wenzelm:
clarified message;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 75795:9e5e6e3c83d1 by wenzelm:
provide naproche-20220808 (inactive);
The file was modified Admin/components/components.sha1 (diff)
Changeset 75794:1c3c31319974 by wenzelm:
more robust data representation: notably for Store.read_session_timing with database_server;
The file was modified src/Pure/General/properties.scala (diff)