Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. Merged in ammerbauer/afp-2017 (pull request #1) sitegen.py uses dependency file created by Isabelle Approved-by: Lars Hupel <lars.hupel@mytum.de>
  3. warn if dependencies file is not specified
  4. sitegen.py uses dependency file created by Isabelle
Changeset 8404:c92372a91cc1 by lars hupel _lars.hupel@mytum.de_:
merged
Changeset 8403:b75d045a8772 by gerwin klein _gerwin@doclsf.de_:
Merged in ammerbauer/afp-2017 (pull request #1)<br><br>sitegen.py uses dependency file created by Isabelle<br><br>Approved-by: Lars Hupel &lt;lars.hupel@mytum.de&gt;
Changeset 8402:f6b45e61809d by max "ammerbauer" haslbeck _max.haslbeck@gmx.de_:
warn if dependencies file is not specified
The file was modified admin/sitegen-lib/afpstats.py (diff)
The file was modified admin/sitegen-lib/metadata.py (diff)
The file was modified admin/sitegen-lib/sitegen.py (diff)
The file was modified admin/sitegen-lib/templates.py (diff)
Changeset 8401:34df23f0859b by max "ammerbauer" haslbeck _max.haslbeck@gmx.de_:
sitegen.py uses dependency file created by Isabelle
The file was modified admin/sitegen-lib/afpstats.py (diff)
The file was modified admin/sitegen-lib/metadata.py (diff)
The file was modified admin/sitegen-lib/sitegen.py (diff)
The file was modified web/entries/Abstract-Rewriting.html (diff)
The file was modified web/entries/Abstract_Completeness.html (diff)
The file was modified web/entries/Affine_Arithmetic.html (diff)
The file was modified web/entries/Akra_Bazzi.html (diff)
The file was modified web/entries/Algebraic_Numbers.html (diff)
The file was modified web/entries/Algebraic_VCs.html (diff)
The file was modified web/entries/Amortized_Complexity.html (diff)
The file was modified web/entries/Applicative_Lifting.html (diff)
The file was modified web/entries/Automatic_Refinement.html (diff)
The file was modified web/entries/Bell_Numbers_Spivey.html (diff)
The file was modified web/entries/Berlekamp_Zassenhaus.html (diff)
The file was modified web/entries/Bernoulli.html (diff)
The file was modified web/entries/Bertrands_Postulate.html (diff)
The file was modified web/entries/Binomial-Heaps.html (diff)
The file was modified web/entries/Boolean_Expression_Checkers.html (diff)
The file was modified web/entries/CAVA_Automata.html (diff)
The file was modified web/entries/CAVA_LTL_Modelchecker.html (diff)
The file was modified web/entries/Card_Multisets.html (diff)
The file was modified web/entries/Card_Number_Partitions.html (diff)
The file was modified web/entries/Card_Partitions.html (diff)
The file was modified web/entries/Case_Labeling.html (diff)
The file was modified web/entries/Catalan_Numbers.html (diff)
The file was modified web/entries/Cayley_Hamilton.html (diff)
The file was modified web/entries/Certification_Monads.html (diff)
The file was modified web/entries/Chord_Segments.html (diff)
The file was modified web/entries/Coinductive.html (diff)
The file was modified web/entries/Coinductive_Languages.html (diff)
The file was modified web/entries/Collections.html (diff)
The file was modified web/entries/Comparison_Sort_Lower_Bound.html (diff)
The file was modified web/entries/Consensus_Refined.html (diff)
The file was modified web/entries/Containers.html (diff)
The file was modified web/entries/CryptHOL.html (diff)
The file was modified web/entries/DFS_Framework.html (diff)
The file was modified web/entries/DataRefinementIBP.html (diff)
The file was modified web/entries/Datatype_Order_Generator.html (diff)
The file was modified web/entries/Decreasing-Diagrams-II.html (diff)
The file was modified web/entries/Deep_Learning.html (diff)
The file was modified web/entries/Deriving.html (diff)
The file was modified web/entries/Dict_Construction.html (diff)
The file was modified web/entries/Differential_Dynamic_Logic.html (diff)
The file was modified web/entries/Dijkstra_Shortest_Path.html (diff)
The file was modified web/entries/Echelon_Form.html (diff)
The file was modified web/entries/EdmondsKarp_Maxflow.html (diff)
The file was modified web/entries/Efficient-Mergesort.html (diff)
The file was modified web/entries/Ergodic_Theory.html (diff)
The file was modified web/entries/Euler_MacLaurin.html (diff)
The file was modified web/entries/Euler_Partition.html (diff)
The file was modified web/entries/FinFun.html (diff)
The file was modified web/entries/Finger-Trees.html (diff)
The file was modified web/entries/Finite_Automata_HF.html (diff)
The file was modified web/entries/Flow_Networks.html (diff)
The file was modified web/entries/Flyspeck-Tame.html (diff)
The file was modified web/entries/Formal_SSA.html (diff)
The file was modified web/entries/Formula_Derivatives.html (diff)
The file was modified web/entries/Free-Groups.html (diff)
The file was modified web/entries/Functional-Automata.html (diff)
The file was modified web/entries/Gabow_SCC.html (diff)
The file was modified web/entries/Gauss-Jordan-Elim-Fun.html (diff)
The file was modified web/entries/Gauss_Jordan.html (diff)
The file was modified web/entries/Girth_Chromatic.html (diff)
The file was modified web/entries/GraphMarkingIBP.html (diff)
The file was modified web/entries/Graph_Theory.html (diff)
The file was modified web/entries/Heard_Of.html (diff)
The file was modified web/entries/HereditarilyFinite.html (diff)
The file was modified web/entries/IP_Addresses.html (diff)
The file was modified web/entries/Incompleteness.html (diff)
The file was modified web/entries/Incredible_Proof_Machine.html (diff)
The file was modified web/entries/Iptables_Semantics.html (diff)
The file was modified web/entries/Jinja.html (diff)
The file was modified web/entries/JinjaThreads.html (diff)
The file was modified web/entries/Jordan_Hoelder.html (diff)
The file was modified web/entries/Jordan_Normal_Form.html (diff)
The file was modified web/entries/KAD.html (diff)
The file was modified web/entries/KBPs.html (diff)
The file was modified web/entries/Kleene_Algebra.html (diff)
The file was modified web/entries/Koenigsberg_Friendship.html (diff)
The file was modified web/entries/LTL.html (diff)
The file was modified web/entries/LTL_to_DRA.html (diff)
The file was modified web/entries/LTL_to_GBA.html (diff)
The file was modified web/entries/Lambda_Free_KBOs.html (diff)
The file was modified web/entries/Lambda_Free_RPOs.html (diff)
The file was modified web/entries/Landau_Symbols.html (diff)
The file was modified web/entries/LatticeProperties.html (diff)
The file was modified web/entries/Launchbury.html (diff)
The file was modified web/entries/Lazy_Case.html (diff)
The file was modified web/entries/List-Index.html (diff)
The file was modified web/entries/List_Interleaving.html (diff)
The file was modified web/entries/List_Update.html (diff)
The file was modified web/entries/Locally-Nameless-Sigma.html (diff)
The file was modified web/entries/Lp.html (diff)
The file was modified web/entries/MFMC_Countable.html (diff)
The file was modified web/entries/MSO_Regex_Equivalence.html (diff)
The file was modified web/entries/Markov_Models.html (diff)
The file was modified web/entries/Matrix.html (diff)
The file was modified web/entries/Monad_Normalisation.html (diff)
The file was modified web/entries/Monomorphic_Monad.html (diff)
The file was modified web/entries/Myhill-Nerode.html (diff)
The file was modified web/entries/Native_Word.html (diff)
The file was modified web/entries/Nested_Multisets_Ordinals.html (diff)
The file was modified web/entries/Network_Security_Policy_Verification.html (diff)
The file was modified web/entries/Nominal2.html (diff)
The file was modified web/entries/Noninterference_Inductive_Unwinding.html (diff)
The file was modified web/entries/Noninterference_Ipurge_Unwinding.html (diff)
The file was modified web/entries/Noninterference_Sequential_Composition.html (diff)
The file was modified web/entries/Open_Induction.html (diff)
The file was modified web/entries/Ordinary_Differential_Equations.html (diff)
The file was modified web/entries/Pairing_Heap.html (diff)
The file was modified web/entries/Parity_Game.html (diff)
The file was modified web/entries/Partial_Function_MR.html (diff)
The file was modified web/entries/Perron_Frobenius.html (diff)
The file was modified web/entries/Planarity_Certificates.html (diff)
The file was modified web/entries/Polynomial_Factorization.html (diff)
The file was modified web/entries/Polynomial_Interpolation.html (diff)
The file was modified web/entries/Polynomials.html (diff)
The file was modified web/entries/Probabilistic_Noninterference.html (diff)
The file was modified web/entries/Probabilistic_While.html (diff)
The file was modified web/entries/Program-Conflict-Analysis.html (diff)
The file was modified web/entries/Promela.html (diff)
The file was modified web/entries/QR_Decomposition.html (diff)
The file was modified web/entries/Quick_Sort_Cost.html (diff)
The file was modified web/entries/ROBDD.html (diff)
The file was modified web/entries/Randomised_Social_Choice.html (diff)
The file was modified web/entries/Rank_Nullity_Theorem.html (diff)
The file was modified web/entries/Real_Impl.html (diff)
The file was modified web/entries/Refine_Imperative_HOL.html (diff)
The file was modified web/entries/Refine_Monadic.html (diff)
The file was modified web/entries/Regex_Equivalence.html (diff)
The file was modified web/entries/Regular-Sets.html (diff)
The file was modified web/entries/Rewriting_Z.html (diff)
The file was modified web/entries/Root_Balanced_Tree.html (diff)
The file was modified web/entries/Secondary_Sylow.html (diff)
The file was modified web/entries/Separata.html (diff)
The file was modified web/entries/Separation_Algebra.html (diff)
The file was modified web/entries/Separation_Logic_Imperative_HOL.html (diff)
The file was modified web/entries/Show.html (diff)
The file was modified web/entries/Skew_Heap.html (diff)
The file was modified web/entries/Slicing.html (diff)
The file was modified web/entries/Splay_Tree.html (diff)
The file was modified web/entries/Sqrt_Babylonian.html (diff)
The file was modified web/entries/Stewart_Apollonius.html (diff)
The file was modified web/entries/Stirling_Formula.html (diff)
The file was modified web/entries/Strong_Security.html (diff)
The file was modified web/entries/Sturm_Sequences.html (diff)
The file was modified web/entries/Stuttering_Equivalence.html (diff)
The file was modified web/entries/Subresultants.html (diff)
The file was modified web/entries/Transitive-Closure-II.html (diff)
The file was modified web/entries/Transitive-Closure.html (diff)
The file was modified web/entries/Triangle.html (diff)
The file was modified web/entries/Trie.html (diff)
The file was modified web/entries/Twelvefold_Way.html (diff)
The file was modified web/entries/UpDown_Scheme.html (diff)
The file was modified web/entries/VectorSpace.html (diff)
The file was modified web/entries/WHATandWHERE_Security.html (diff)
The file was modified web/entries/Well_Quasi_Orders.html (diff)
The file was modified web/entries/XML.html (diff)
The file was modified web/statistics.html (diff)