Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more robust;
  2. updated to sqlite-jdbc-3.30.1;
  3. updated to postgresql-42.2.9;
  4. build in $ISABELLE_HOME; clarified build dependencies;
  5. build in $ISABELLE_HOME; clarified build dependencies;
  6. clarified fresh build;
Changeset 71371:1c4ec697bee5 by wenzelm:
more robust;
The file was modified src/Tools/jEdit/lib/Tools/jedit (diff)
Changeset 71370:b05aca9cee75 by wenzelm:
updated to sqlite-jdbc-3.30.1;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 71369:897ff7e68a10 by wenzelm:
updated to postgresql-42.2.9;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 71368:fd5cd1daf6a9 by wenzelm:
build in $ISABELLE_HOME;<br>clarified build dependencies;
The file was modified src/Tools/jEdit/lib/Tools/jedit (diff)
Changeset 71367:91d5a8255c98 by wenzelm:
build in $ISABELLE_HOME;<br>clarified build dependencies;
The file was modified Admin/build (diff)
The file was modified src/Pure/build-jars (diff)
Changeset 71366:f0581273bd7b by wenzelm:
clarified fresh build;
The file was modified src/Pure/build-jars (diff)