Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. NEWS;
  2. read full sessions_requirements, for more complete entity hyperlinks;
  3. more accurate management of dependencies: change of build_uuid causes output of HTML, but already existing/current HTML is not produced again;
  4. tuned signature: more general operations;
  5. tuned: avoid premature File.read;
  6. tuned signature: build_log db is specific to PostgreSQL;
  7. maintain "uuid" column in session build database, to identity the original build process uniquely; implicit upgrade of PostgreSQL database, while SQLite is initially removed and created afresh;
  8. tuned signature;
  9. unused (amending 3d723062dc70);
  10. more readable string literals;
Changeset 75973:3acc90a2ef6d by wenzelm:
NEWS;
The file was modified NEWS (diff)
Changeset 75972:d574b55c4e83 by wenzelm:
read full sessions_requirements, for more complete entity hyperlinks;
The file was modified src/Pure/PIDE/document_info.scala (diff)
Changeset 75971:cec22f403c25 by wenzelm:
more accurate management of dependencies: change of build_uuid causes output of HTML, but already existing/current HTML is not produced again;
The file was modified src/Pure/PIDE/document_info.scala (diff)
The file was modified src/Pure/Thy/browser_info.scala (diff)
Changeset 75970:b4a04fa01677 by wenzelm:
tuned signature: more general operations;
The file was modified src/Pure/Thy/export.scala (diff)
The file was modified src/Pure/Tools/build_job.scala (diff)
Changeset 75969:0548beacff68 by wenzelm:
tuned: avoid premature File.read;
The file was modified src/Pure/Thy/browser_info.scala (diff)
Changeset 75968:5a782ca6872b by wenzelm:
tuned signature: build_log db is specific to PostgreSQL;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/Admin/build_status.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 75967:ff164add75cd by wenzelm:
maintain &quot;uuid&quot; column in session build database, to identity the original build process uniquely;<br>implicit upgrade of PostgreSQL database, while SQLite is initially removed and created afresh;
The file was modified NEWS (diff)
The file was modified src/Pure/General/sql.scala (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 75966:ed29a23e8b62 by wenzelm:
tuned signature;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 75965:fe686d96d7ff by wenzelm:
unused (amending 3d723062dc70);
The file was modified src/Pure/General/sql.scala (diff)
Changeset 75964:fd9734380709 by wenzelm:
more readable string literals;
The file was modified src/Pure/System/java.ML (diff)