Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more robust;
  2. clarified message;
  3. tuned;
  4. tuned message;
  5. proper export;
  6. more options: build is part of default setup;
  7. misc tuning and clarification;
  8. more options;
  9. proper Admin script, outside the settings environment;
  10. tuned whitespace;
Changeset 73509:5d750df8e894 by wenzelm:
more robust;
The file was modified lib/Tools/version
Changeset 73508:001097314d09 by wenzelm:
clarified message;
The file was modified Admin/setup
Changeset 73507:2592a661ddc9 by wenzelm:
tuned;
The file was modified Admin/setup
Changeset 73506:d34033a93711 by wenzelm:
tuned message;
The file was modified Admin/setup
Changeset 73505:a35b2ee3148f by wenzelm:
proper export;
The file was modified Admin/setup
Changeset 73504:c259c7a42ac3 by wenzelm:
more options: build is part of default setup;
The file was modified Admin/setup
The file was modified README_REPOSITORY
Changeset 73503:eda1d95ef538 by wenzelm:
misc tuning and clarification;
The file was modified README_REPOSITORY
Changeset 73502:c582bf975a5b by wenzelm:
more options;
The file was modified Admin/setup
Changeset 73501:f026a9a0a43f by wenzelm:
proper Admin script, outside the settings environment;
The file was addedAdmin/setup
The file was removedlib/Tools/setup
Changeset 73500:a33e5298aee6 by wenzelm:
tuned whitespace;
The file was modified lib/scripts/getfunctions

Summary

  1. merge from afp-2021
  2. Infix notation for the less_sets relation
  3. merged
  4. simplified a few proofs
  5. sitegen and metadata for Constructive_Cryptography_CM
  6. new entry Constructive_Cryptography_CM
Changeset 11703:693ae1ce0d54 by gerwin klein _kleing@unsw.edu.au_:
merge from afp-2021
Changeset 11702:e928ad3a61c3 by paulson _lp15@cam.ac.uk_:
Infix notation for the less_sets relation
The file was modified thys/Nash_Williams/Nash_Extras.thy
The file was modified thys/Nash_Williams/Nash_Williams.thy
The file was modified thys/Ordinal_Partitions/Omega_Omega.thy
The file was modified thys/Ordinal_Partitions/Partitions.thy
Changeset 11701:ae4ec73674cd by paulson:
merged
Changeset 11700:a1f0a543602e by paulson _lp15@cam.ac.uk_:
simplified a few proofs
The file was modified thys/Nash_Williams/Nash_Williams.thy
Changeset 11699:92bb16b93fd2 by rene thiemann _rene.thiemann@uibk.ac.at_:
sitegen and metadata for Constructive_Cryptography_CM
The file was addedweb/entries/Constructive_Cryptography_CM.html
The file was modified metadata/metadata
The file was modified web/entries/Constructive_Cryptography.html
The file was modified web/entries/Game_Based_Crypto.html
The file was modified web/entries/Sigma_Commit_Crypto.html
The file was modified web/index.html
The file was modified web/rss.xml
The file was modified web/statistics.html
The file was modified web/topics.html
Changeset 11698:680fb435498b by rene thiemann _rene.thiemann@uibk.ac.at_:
new entry Constructive_Cryptography_CM
The file was addedthys/Constructive_Cryptography_CM/Asymptotic_Security.thy
The file was addedthys/Constructive_Cryptography_CM/Concrete_Security.thy
The file was addedthys/Constructive_Cryptography_CM/Construction_Utility.thy
The file was addedthys/Constructive_Cryptography_CM/Constructions/DH_OTP.thy
The file was addedthys/Constructive_Cryptography_CM/Constructions/Diffie_Hellman_CC.thy
The file was addedthys/Constructive_Cryptography_CM/Constructions/One_Time_Pad.thy
The file was addedthys/Constructive_Cryptography_CM/Fold_Spmf.thy
The file was addedthys/Constructive_Cryptography_CM/Fused_Resource.thy
The file was addedthys/Constructive_Cryptography_CM/Goodies.thy
The file was addedthys/Constructive_Cryptography_CM/More_CC.thy
The file was addedthys/Constructive_Cryptography_CM/Observe_Failure.thy
The file was addedthys/Constructive_Cryptography_CM/ROOT
The file was addedthys/Constructive_Cryptography_CM/Specifications/Channel.thy
The file was addedthys/Constructive_Cryptography_CM/Specifications/Key.thy
The file was addedthys/Constructive_Cryptography_CM/State_Isomorphism.thy
The file was addedthys/Constructive_Cryptography_CM/document/root.bib
The file was addedthys/Constructive_Cryptography_CM/document/root.tex
The file was modified thys/ROOTS