Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

Summary

  1. non-overlapping diretory Examples/ICF;
  2. clarified session directories and theory imports;
  3. clarified session directories and theory imports;
  4. clarified session directories and theory imports;
  5. declare session directories;
  6. tuned syntax;
Changeset 10594:863519ae0ea9 by wenzelm:
non-overlapping diretory Examples/ICF;
The file was modified thys/Collections/ROOT
Changeset 10593:273de6cb6c51 by wenzelm:
clarified session directories and theory imports;
The file was modified thys/CAVA_Automata/ROOT
The file was modified thys/Collections/ROOT
The file was modified thys/Promela/PromelaDatastructures.thy
The file was modified thys/Refine_Imperative_HOL/IICF/Impl/IICF_MS_Array_List.thy
The file was modified thys/Refine_Imperative_HOL/Sepref.thy
The file was modified thys/Separation_Logic_Imperative_HOL/ROOT
Changeset 10592:0d068cd791af by wenzelm:
clarified session directories and theory imports;
The file was addedthys/Ordinary_Differential_Equations/Numerics/Transfer_Analysis.thy
The file was addedthys/Ordinary_Differential_Equations/Numerics/Transfer_ODE.thy
The file was modified thys/Ordinary_Differential_Equations/Numerics/Transfer_Euclidean_Space_Vector.thy
The file was modified thys/Ordinary_Differential_Equations/ROOT
The file was removedthys/Ordinary_Differential_Equations/Library/Transfer_Analysis.thy
The file was removedthys/Ordinary_Differential_Equations/Library/Transfer_ODE.thy
Changeset 10591:5786f7df9dd8 by wenzelm:
clarified session directories and theory imports;
The file was addedthys/Iptables_Semantics/Code_haskell.thy
The file was addedthys/Iptables_Semantics/Example_Semantics.thy
The file was modified thys/Iptables_Semantics/Examples/Parser_Test/Parser6_Test.thy
The file was modified thys/Iptables_Semantics/Examples/Synology_Diskstation_DS414/Analyze_Synology_Diskstation.thy
The file was modified thys/Iptables_Semantics/Primitive_Matchers/Parser6.thy
The file was modified thys/Iptables_Semantics/ROOT
The file was removedthys/Iptables_Semantics/Examples/Code_haskell.thy
The file was removedthys/Iptables_Semantics/Examples/Example_Semantics.thy
Changeset 10590:e97ee9322827 by wenzelm:
declare session directories;
The file was modified thys/AODV/ROOT
The file was modified thys/Abstract-Hoare-Logics/ROOT
The file was modified thys/Algebraic_VCs/ROOT
The file was modified thys/ArrowImpossibilityGS/ROOT
The file was modified thys/Auto2_HOL/ROOT
The file was modified thys/Auto2_Imperative_HOL/ROOT
The file was modified thys/Automatic_Refinement/ROOT
The file was modified thys/CAVA_LTL_Modelchecker/ROOT
The file was modified thys/CISC-Kernel/ROOT
The file was modified thys/CakeML/ROOT
The file was modified thys/CakeML_Codegen/ROOT
The file was modified thys/Case_Labeling/ROOT
The file was modified thys/Coinductive/ROOT
The file was modified thys/Complx/ROOT
The file was modified thys/ConcurrentGC/ROOT
The file was modified thys/Consensus_Refined/ROOT
The file was modified thys/Constructive_Cryptography/ROOT
The file was modified thys/Containers/ROOT
The file was modified thys/Core_DOM/ROOT
The file was modified thys/DFS_Framework/ROOT
The file was modified thys/Dependent_SIFUM_Refinement/ROOT
The file was modified thys/Dependent_SIFUM_Type_Systems/ROOT
The file was modified thys/Deriving/ROOT
The file was modified thys/Dict_Construction/ROOT
The file was modified thys/Featherweight_OCL/ROOT
The file was modified thys/First_Welfare_Theorem/ROOT
The file was modified thys/Flow_Networks/ROOT
The file was modified thys/Generic_Deriving/ROOT
The file was modified thys/HOLCF-Prelude/ROOT
The file was modified thys/HRB-Slicing/ROOT
The file was modified thys/Heard_Of/ROOT
The file was modified thys/Hoare_Time/ROOT
The file was modified thys/Hybrid_Multi_Lane_Spatial_Logic/ROOT
The file was modified thys/IMP2/ROOT
The file was modified thys/Inductive_Confidentiality/ROOT
The file was modified thys/Isabelle_Meta_Model/ROOT
The file was modified thys/Jinja/ROOT
The file was modified thys/JinjaThreads/ROOT
The file was modified thys/JiveDataStoreModel/ROOT
The file was modified thys/KAT_and_DRA/ROOT
The file was modified thys/LOFT/ROOT
The file was modified thys/LTL/ROOT
The file was modified thys/LTL_Master_Theorem/ROOT
The file was modified thys/LTL_to_DRA/ROOT
The file was modified thys/LinearQuantifierElim/ROOT
The file was modified thys/List-Infinite/ROOT
The file was modified thys/Locally-Nameless-Sigma/ROOT
The file was modified thys/Markov_Models/ROOT
The file was modified thys/Modular_Assembly_Kit_Security/ROOT
The file was modified thys/Monad_Memo_DP/ROOT
The file was modified thys/Network_Security_Policy_Verification/ROOT
The file was modified thys/Partial_Order_Reduction/ROOT
The file was modified thys/Planarity_Certificates/ROOT
The file was modified thys/Probabilistic_Timed_Automata/ROOT
The file was modified thys/Randomised_Social_Choice/ROOT
The file was modified thys/Refine_Imperative_HOL/ROOT
The file was modified thys/Refine_Monadic/ROOT
The file was modified thys/SPARCv8/ROOT
The file was modified thys/Security_Protocol_Refinement/ROOT
The file was modified thys/Separation_Algebra/ROOT
The file was modified thys/Simpl/ROOT
The file was modified thys/Simple_Firewall/ROOT
The file was modified thys/Slicing/ROOT
The file was modified thys/Sturm_Sequences/ROOT
The file was modified thys/Transition_Systems_and_Automata/ROOT
The file was modified thys/UPF_Firewall/ROOT
The file was modified thys/UTP/ROOT
The file was modified thys/VerifyThis2018/ROOT
The file was modified thys/WebAssembly/ROOT
The file was modified thys/pGCL/ROOT
Changeset 10589:8934bbd2f1c6 by wenzelm:
tuned syntax;
The file was modified thys/Probabilistic_System_Zoo/ROOT

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

Summary

  1. clarified messages;
  2. clarified syntax: 'directories' and 'theories' belong together;
  3. more documentation;
  4. check session directories;
  5. declare session directories;
Changeset 70679:7b6e6d61204a by wenzelm:
clarified messages;
The file was modified src/Pure/Thy/sessions.scala
Changeset 70678:36c8c32346cb by wenzelm:
clarified syntax: 'directories' and 'theories' belong together;
The file was modified src/CCL/ROOT
The file was modified src/CTT/ROOT
The file was modified src/Doc/ROOT
The file was modified src/Doc/System/Sessions.thy
The file was modified src/HOL/ROOT
The file was modified src/LCF/ROOT
The file was modified src/Pure/Thy/sessions.ML
The file was modified src/Pure/Thy/sessions.scala
Changeset 70677:56d70f7ce4a4 by wenzelm:
more documentation;
The file was modified NEWS
The file was modified src/Doc/System/Sessions.thy
Changeset 70676:73812c598a26 by wenzelm:
check session directories;
The file was modified src/Pure/PIDE/document.scala
The file was modified src/Pure/Thy/sessions.scala
Changeset 70675:efd995488228 by wenzelm:
declare session directories;
The file was modified src/CCL/ROOT
The file was modified src/CTT/ROOT
The file was modified src/Doc/ROOT
The file was modified src/FOL/ROOT
The file was modified src/HOL/ROOT
The file was modified src/LCF/ROOT
The file was modified src/Sequents/ROOT