Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. clarified signature;
  2. tuned;
  3. more operations for Build_Log.Meta_Info: prefer explicit types;
  4. more operations for Date and Time;
  5. more accurate patterns --- reverting unused fc3ba0a1c82f;
  6. remove unused/fragile option (amending db37cae970a6) --- universal_table requires pull_date tables;
  7. prefer explicit option "build_log_verbose";
  8. tuned whitespace;
  9. additional build_log column "session_start", with implicit upgrade of database schema;
  10. more robust build_start for master and workers (via database);
  11. more accurate progress.now(), notably for Database_Progress;
  12. update NEWS;
  13. activate E 3.0 after testing by Martin Desharnais, see also db72d9920186 and 788f11af9822;
Changeset 79820:e7940d49fe74 by wenzelm:
clarified signature;
The file was modified src/Pure/General/date.scala
Changeset 79819:141df3fb25bf by wenzelm:
tuned;
The file was modified src/HOL/Tools/Mirabelle/mirabelle.scala
The file was modified src/Pure/Admin/build_log.scala
The file was modified src/Pure/Admin/isabelle_cronjob.scala
The file was modified src/Pure/Build/build.scala
The file was modified src/Pure/Build/build_process.scala
The file was modified src/Pure/Build/build_schedule.scala
The file was modified src/Pure/Tools/dump.scala
Changeset 79818:0c2a62a9f136 by wenzelm:
more operations for Build_Log.Meta_Info: prefer explicit types;
The file was modified src/Pure/Admin/build_log.scala
The file was modified src/Pure/Build/build_schedule.scala
Changeset 79817:7308e402451f by wenzelm:
more operations for Date and Time;
The file was modified src/Pure/General/date.scala
Changeset 79816:11fa48986f37 by wenzelm:
more accurate patterns --- reverting unused fc3ba0a1c82f;
The file was modified src/Pure/Admin/build_log.scala
Changeset 79815:56f506c556f1 by wenzelm:
remove unused/fragile option (amending db37cae970a6) --- universal_table requires pull_date tables;
The file was modified src/Pure/Admin/build_log.scala
Changeset 79814:2da08d9ce629 by wenzelm:
prefer explicit option "build_log_verbose";
The file was modified etc/options
The file was modified src/Pure/Admin/build_history.scala
The file was modified src/Pure/Build/build.scala
The file was modified src/Pure/Build/build_process.scala
Changeset 79813:5f033e4cbeb7 by wenzelm:
tuned whitespace;
The file was modified etc/options
Changeset 79812:9d484c5d3a63 by wenzelm:
additional build_log column "session_start", with implicit upgrade of database schema;
The file was modified src/Pure/Admin/build_log.scala
The file was modified src/Pure/Build/build_process.scala
Changeset 79811:d9fc2cc37694 by wenzelm:
more robust build_start for master and workers (via database);
The file was modified src/Pure/Build/build.scala
The file was modified src/Pure/Build/build_process.scala
Changeset 79810:4b23abde5d0b by wenzelm:
more accurate progress.now(), notably for Database_Progress;
The file was modified src/Pure/Admin/build_history.scala
The file was modified src/Pure/Build/build.scala
The file was modified src/Pure/Build/build_process.scala
Changeset 79809:80a30835f48f by wenzelm:
update NEWS;
The file was modified NEWS
Changeset 79808:5dd2a771811e by wenzelm:
activate E 3.0 after testing by Martin Desharnais, see also db72d9920186 and 788f11af9822;
The file was modified Admin/components/main

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. merge
  2. adjusting HOL-CSP_OpSem from 2023 to devel
  3. merge from AFP 2023
  4. metadata for HOL-CSP OpSem and sitegen
  5. new entry: HOL-CSP OpSem
Changeset 14111:8152a97232cb by rene thiemann _rene.thiemann@uibk.ac.at_:
merge
Changeset 14110:4f98533208c0 by rene thiemann _rene.thiemann@uibk.ac.at_:
adjusting HOL-CSP_OpSem from 2023 to devel
The file was modified thys/HOL-CSP_OpSem/After.thy
The file was modified thys/HOL-CSP_OpSem/Interrupt.thy
The file was modified thys/HOL-CSP_OpSem/NewLaws.thy
The file was modified thys/HOL-CSP_OpSem/OpSemGeneric.thy
The file was modified thys/HOL-CSP_OpSem/OpSemGenericBis.thy
The file was modified thys/HOL-CSP_OpSem/Throw.thy
Changeset 14109:ddedc406ab66 by rene thiemann _rene.thiemann@uibk.ac.at_:
merge from AFP 2023
Changeset 14108:bd16775e7ec6 by rene thiemann _rene.thiemann@uibk.ac.at_:
metadata for HOL-CSP OpSem and sitegen
The file was addedmetadata/entries/HOL-CSP_OpSem.toml
The file was addedweb/dependencies/hol-cspm/index.html
The file was addedweb/dependencies/hol-cspm/index.xml
The file was addedweb/entries/HOL-CSP_OpSem.html
The file was addedweb/sessions/hol-csp_opsem/index.html
The file was modified web/authors/ballenghien/index.html
The file was modified web/authors/ballenghien/index.xml
The file was modified web/authors/wolff/index.html
The file was modified web/authors/wolff/index.xml
The file was modified web/data/keywords.json
The file was modified web/dependencies/index.html
The file was modified web/dependencies/index.json
The file was modified web/entries/HOL-CSPM.html
The file was modified web/entries/MiniSail.html
The file was modified web/entries/index.html
The file was modified web/entries/index.xml
The file was modified web/index.html
The file was modified web/index.json
The file was modified web/index.xml
The file was modified web/sessions/index.xml
The file was modified web/sitemap.xml
The file was modified web/statistics/index.html
The file was modified web/topics/computer-science/concurrency/index.xml
The file was modified web/topics/computer-science/concurrency/process-calculi/index.html
The file was modified web/topics/computer-science/concurrency/process-calculi/index.xml
The file was modified web/topics/computer-science/index.xml
The file was modified web/topics/computer-science/semantics-and-reasoning/index.html
The file was modified web/topics/computer-science/semantics-and-reasoning/index.xml
The file was modified web/topics/index.html
Changeset 14107:0439ba5a5778 by rene thiemann _rene.thiemann@uibk.ac.at_:
new entry: HOL-CSP OpSem
The file was addedthys/HOL-CSP_OpSem/After.thy
The file was addedthys/HOL-CSP_OpSem/AfterExt.thy
The file was addedthys/HOL-CSP_OpSem/AfterExtBis.thy
The file was addedthys/HOL-CSP_OpSem/AfterTrace.thy
The file was addedthys/HOL-CSP_OpSem/AfterTraceBis.thy
The file was addedthys/HOL-CSP_OpSem/Conclusion.thy
The file was addedthys/HOL-CSP_OpSem/Interrupt.thy
The file was addedthys/HOL-CSP_OpSem/Introduction.thy
The file was addedthys/HOL-CSP_OpSem/Motivations.thy
The file was addedthys/HOL-CSP_OpSem/NewLaws.thy
The file was addedthys/HOL-CSP_OpSem/OpSemDT.thy
The file was addedthys/HOL-CSP_OpSem/OpSemDTBis.thy
The file was addedthys/HOL-CSP_OpSem/OpSemFBis.thy
The file was addedthys/HOL-CSP_OpSem/OpSemFD.thy
The file was addedthys/HOL-CSP_OpSem/OpSemFDBis.thy
The file was addedthys/HOL-CSP_OpSem/OpSemGeneric.thy
The file was addedthys/HOL-CSP_OpSem/OpSemGenericBis.thy
The file was addedthys/HOL-CSP_OpSem/OpSemTBis.thy
The file was addedthys/HOL-CSP_OpSem/ROOT
The file was addedthys/HOL-CSP_OpSem/ReadySet.thy
The file was addedthys/HOL-CSP_OpSem/Sliding.thy
The file was addedthys/HOL-CSP_OpSem/Throw.thy
The file was addedthys/HOL-CSP_OpSem/document/figures/session_graph.pdf
The file was addedthys/HOL-CSP_OpSem/document/root.bib
The file was addedthys/HOL-CSP_OpSem/document/root.tex
The file was modified thys/ROOTS