Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. merge from afp-2016-1
  2. Cosmetic changes to abstract of some entries
  3. Fix numbering of most used articles in statistics
  4. Tuned wording in Comparison_Sort_Lower_Bound
  5. adjust Word_Lib for isabelle 75f2aa8ecb12
  6. Adapted Quick_Sort_Cost to afp-devel
  7. merge from afp-2016-1
  8. new entries Comparison_Sort_Lower_Bound and Quick_Sort_Cost
  9. nav menu capitalisation
  10. Adapted Euler_MacLaurin to afp-devel
  11. merge
  12. merge from afp-2016-1
  13. re-run new sitegen
  14. Merged in ammerbauer/afp-2016-1 (pull request #4) Default
  15. Sort "Used by" and "Depends on" in Jinja2 template * There are changes to some shtml files since Jinja2's and Python's standard sort handle capital letters differently
  16. Show title of entry in <title>
  17. Change "Submission Guidelines" to "Submission"
  18. Clean up sitegen scripts
  19. Fix and clean up templates.py
  20. Euler_MacLaurin website
  21. new: Euler_MacLaurin
Changeset 7735:3623a22ae466 by kleing:
merge from afp-2016-1
Changeset 7734:a8a0109bfb90 by max "ammerbauer" haslbeck _max.haslbeck@gmx.de_:
Cosmetic changes to abstract of some entries
The file was modified metadata/metadata
The file was modified web/entries/Deriving.shtml
The file was modified web/entries/Descartes_Sign_Rule.shtml
The file was modified web/entries/Liouville_Numbers.shtml
The file was modified web/entries/Max-Card-Matching.shtml
The file was modified web/entries/Prime_Harmonic_Series.shtml
The file was modified web/entries/Transitive-Closure-II.shtml
The file was modified web/entries/Triangle.shtml
The file was modified web/front.css
Changeset 7733:2d611859e058 by max "ammerbauer" haslbeck _max.haslbeck@gmx.de_:
Fix numbering of most used articles in statistics
The file was modified admin/sitegen-lib/templates.py
The file was modified admin/sitegen-lib/templates/statistics.tpl
The file was modified web/statistics.shtml
Changeset 7732:66930acbd7a1 by manuel eberl _eberlm@in.tum.de_:
Tuned wording in Comparison_Sort_Lower_Bound
The file was modified thys/Comparison_Sort_Lower_Bound/Comparison_Sort_Lower_Bound.thy
Changeset 7731:0fde68ce04da by kleing:
adjust Word_Lib for isabelle 75f2aa8ecb12
The file was modified thys/Word_Lib/Word_Lemmas.thy
Changeset 7730:003bb6adacd0 by manuel eberl _eberlm@in.tum.de_:
Adapted Quick_Sort_Cost to afp-devel
The file was modified thys/Quick_Sort_Cost/Randomised_Quick_Sort.thy
Changeset 7729:8966148a1a88 by kleing:
merge from afp-2016-1
Changeset 7728:67d17fd4e07e by gerwin.klein@data61.csiro.au:
new entries Comparison_Sort_Lower_Bound and Quick_Sort_Cost
The file was addedthys/Comparison_Sort_Lower_Bound/Comparison_Sort_Lower_Bound.thy
The file was addedthys/Comparison_Sort_Lower_Bound/Linorder_Relations.thy
The file was addedthys/Comparison_Sort_Lower_Bound/ROOT
The file was addedthys/Comparison_Sort_Lower_Bound/document/root.bib
The file was addedthys/Comparison_Sort_Lower_Bound/document/root.tex
The file was addedthys/Quick_Sort_Cost/More_Shuffle_Product.thy
The file was addedthys/Quick_Sort_Cost/Quick_Sort_Average_Case.thy
The file was addedthys/Quick_Sort_Cost/ROOT
The file was addedthys/Quick_Sort_Cost/Randomised_Quick_Sort.thy
The file was addedthys/Quick_Sort_Cost/document/root.bib
The file was addedthys/Quick_Sort_Cost/document/root.tex
The file was addedweb/entries/Comparison_Sort_Lower_Bound.shtml
The file was addedweb/entries/Quick_Sort_Cost.shtml
The file was modified metadata/metadata
The file was modified thys/ROOTS
The file was modified web/entries/Landau_Symbols.shtml
The file was modified web/entries/List-Index.shtml
The file was modified web/entries/Regular-Sets.shtml
The file was modified web/entries/Stirling_Formula.shtml
The file was modified web/index.shtml
The file was modified web/rss.xml
The file was modified web/statistics.shtml
The file was modified web/topics.shtml
Changeset 7727:8345b9e06e46 by gerwin.klein@data61.csiro.au:
nav menu capitalisation
The file was modified admin/sitegen-lib/templates/base.tpl
The file was modified web/about.shtml
The file was modified web/citing.shtml
The file was modified web/entries/AODV.shtml
The file was modified web/entries/AVL-Trees.shtml
The file was modified web/entries/AWN.shtml
The file was modified web/entries/Abortable_Linearizable_Modules.shtml
The file was modified web/entries/Abs_Int_ITP2012.shtml
The file was modified web/entries/Abstract-Hoare-Logics.shtml
The file was modified web/entries/Abstract-Rewriting.shtml
The file was modified web/entries/Abstract_Completeness.shtml
The file was modified web/entries/Abstract_Soundness.shtml
The file was modified web/entries/Affine_Arithmetic.shtml
The file was modified web/entries/Akra_Bazzi.shtml
The file was modified web/entries/Algebraic_Numbers.shtml
The file was modified web/entries/Algebraic_VCs.shtml
The file was modified web/entries/Allen_Calculus.shtml
The file was modified web/entries/Amortized_Complexity.shtml
The file was modified web/entries/Applicative_Lifting.shtml
The file was modified web/entries/ArrowImpossibilityGS.shtml
The file was modified web/entries/AutoFocus-Stream.shtml
The file was modified web/entries/Automatic_Refinement.shtml
The file was modified web/entries/BDD.shtml
The file was modified web/entries/Bell_Numbers_Spivey.shtml
The file was modified web/entries/Berlekamp_Zassenhaus.shtml
The file was modified web/entries/Bernoulli.shtml
The file was modified web/entries/Bertrands_Postulate.shtml
The file was modified web/entries/BinarySearchTree.shtml
The file was modified web/entries/Binomial-Heaps.shtml
The file was modified web/entries/Binomial-Queues.shtml
The file was modified web/entries/Bondy.shtml
The file was modified web/entries/Boolean_Expression_Checkers.shtml
The file was modified web/entries/Bounded_Deducibility_Security.shtml
The file was modified web/entries/Buildings.shtml
The file was modified web/entries/BytecodeLogicJmlTypes.shtml
The file was modified web/entries/CAVA_Automata.shtml
The file was modified web/entries/CAVA_LTL_Modelchecker.shtml
The file was modified web/entries/CCS.shtml
The file was modified web/entries/CISC-Kernel.shtml
The file was modified web/entries/CYK.shtml
The file was modified web/entries/Call_Arity.shtml
The file was modified web/entries/Card_Equiv_Relations.shtml
The file was modified web/entries/Card_Multisets.shtml
The file was modified web/entries/Card_Number_Partitions.shtml
The file was modified web/entries/Card_Partitions.shtml
The file was modified web/entries/Cartan_FP.shtml
The file was modified web/entries/Case_Labeling.shtml
The file was modified web/entries/Catalan_Numbers.shtml
The file was modified web/entries/Category.shtml
The file was modified web/entries/Category2.shtml
The file was modified web/entries/Category3.shtml
The file was modified web/entries/Cauchy.shtml
The file was modified web/entries/Cayley_Hamilton.shtml
The file was modified web/entries/Certification_Monads.shtml
The file was modified web/entries/Chord_Segments.shtml
The file was modified web/entries/Circus.shtml
The file was modified web/entries/ClockSynchInst.shtml
The file was modified web/entries/CofGroups.shtml
The file was modified web/entries/Coinductive.shtml
The file was modified web/entries/Coinductive_Languages.shtml
The file was modified web/entries/Collections.shtml
The file was modified web/entries/Compiling-Exceptions-Correctly.shtml
The file was modified web/entries/Completeness.shtml
The file was modified web/entries/Complx.shtml
The file was modified web/entries/ComponentDependencies.shtml
The file was modified web/entries/ConcurrentGC.shtml
The file was modified web/entries/ConcurrentIMP.shtml
The file was modified web/entries/Concurrent_Ref_Alg.shtml
The file was modified web/entries/Consensus_Refined.shtml
The file was modified web/entries/Containers.shtml
The file was modified web/entries/CoreC++.shtml
The file was modified web/entries/CryptoBasedCompositionalProperties.shtml
The file was modified web/entries/DFS_Framework.shtml
The file was modified web/entries/DPT-SAT-Solver.shtml
The file was modified web/entries/DataRefinementIBP.shtml
The file was modified web/entries/Datatype_Order_Generator.shtml
The file was modified web/entries/Decreasing-Diagrams-II.shtml
The file was modified web/entries/Decreasing-Diagrams.shtml
The file was modified web/entries/Deep_Learning.shtml
The file was modified web/entries/Density_Compiler.shtml
The file was modified web/entries/Dependent_SIFUM_Refinement.shtml
The file was modified web/entries/Dependent_SIFUM_Type_Systems.shtml
The file was modified web/entries/Depth-First-Search.shtml
The file was modified web/entries/Derangements.shtml
The file was modified web/entries/Deriving.shtml
The file was modified web/entries/Descartes_Sign_Rule.shtml
The file was modified web/entries/Differential_Dynamic_Logic.shtml
The file was modified web/entries/Dijkstra_Shortest_Path.shtml
The file was modified web/entries/Discrete_Summation.shtml
The file was modified web/entries/DiskPaxos.shtml
The file was modified web/entries/Dynamic_Tables.shtml
The file was modified web/entries/E_Transcendental.shtml
The file was modified web/entries/Echelon_Form.shtml
The file was modified web/entries/EdmondsKarp_Maxflow.shtml
The file was modified web/entries/Efficient-Mergesort.shtml
The file was modified web/entries/Elliptic_Curves_Group_Law.shtml
The file was modified web/entries/Encodability_Process_Calculi.shtml
The file was modified web/entries/Ergodic_Theory.shtml
The file was modified web/entries/Euler_MacLaurin.shtml
The file was modified web/entries/Euler_Partition.shtml
The file was modified web/entries/Example-Submission.shtml
The file was modified web/entries/FFT.shtml
The file was modified web/entries/FLP.shtml
The file was modified web/entries/FOL-Fitting.shtml
The file was modified web/entries/FOL_Harrison.shtml
The file was modified web/entries/FeatherweightJava.shtml
The file was modified web/entries/Featherweight_OCL.shtml
The file was modified web/entries/Fermat3_4.shtml
The file was modified web/entries/FileRefinement.shtml
The file was modified web/entries/FinFun.shtml
The file was modified web/entries/Finger-Trees.shtml
The file was modified web/entries/Finite_Automata_HF.shtml
The file was modified web/entries/Fisher_Yates.shtml
The file was modified web/entries/Flyspeck-Tame.shtml
The file was modified web/entries/FocusStreamsCaseStudies.shtml
The file was modified web/entries/Formal_SSA.shtml
The file was modified web/entries/Formula_Derivatives.shtml
The file was modified web/entries/Free-Boolean-Algebra.shtml
The file was modified web/entries/Free-Groups.shtml
The file was modified web/entries/FunWithFunctions.shtml
The file was modified web/entries/FunWithTilings.shtml
The file was modified web/entries/Functional-Automata.shtml
The file was modified web/entries/GPU_Kernel_PL.shtml
The file was modified web/entries/Gabow_SCC.shtml
The file was modified web/entries/Gauss-Jordan-Elim-Fun.shtml
The file was modified web/entries/Gauss_Jordan.shtml
The file was modified web/entries/GenClock.shtml
The file was modified web/entries/General-Triangle.shtml
The file was modified web/entries/Girth_Chromatic.shtml
The file was modified web/entries/GoedelGod.shtml
The file was modified web/entries/GraphMarkingIBP.shtml
The file was modified web/entries/Graph_Theory.shtml
The file was modified web/entries/Groebner_Bases.shtml
The file was modified web/entries/Group-Ring-Module.shtml
The file was modified web/entries/HRB-Slicing.shtml
The file was modified web/entries/Heard_Of.shtml
The file was modified web/entries/HereditarilyFinite.shtml
The file was modified web/entries/Hermite.shtml
The file was modified web/entries/HotelKeyCards.shtml
The file was modified web/entries/Huffman.shtml
The file was modified web/entries/HyperCTL.shtml
The file was modified web/entries/IEEE_Floating_Point.shtml
The file was modified web/entries/IP_Addresses.shtml
The file was modified web/entries/Imperative_Insertion_Sort.shtml
The file was modified web/entries/Impossible_Geometry.shtml
The file was modified web/entries/Incompleteness.shtml
The file was modified web/entries/Incredible_Proof_Machine.shtml
The file was modified web/entries/Inductive_Confidentiality.shtml
The file was modified web/entries/InfPathElimination.shtml
The file was modified web/entries/InformationFlowSlicing.shtml
The file was modified web/entries/InformationFlowSlicing_Inter.shtml
The file was modified web/entries/Integration.shtml
The file was modified web/entries/Iptables_Semantics.shtml
The file was modified web/entries/Isabelle_Meta_Model.shtml
The file was modified web/entries/Jinja.shtml
The file was modified web/entries/JinjaThreads.shtml
The file was modified web/entries/JiveDataStoreModel.shtml
The file was modified web/entries/Jordan_Hoelder.shtml
The file was modified web/entries/Jordan_Normal_Form.shtml
The file was modified web/entries/KAD.shtml
The file was modified web/entries/KAT_and_DRA.shtml
The file was modified web/entries/KBPs.shtml
The file was modified web/entries/Key_Agreement_Strong_Adversaries.shtml
The file was modified web/entries/Kleene_Algebra.shtml
The file was modified web/entries/Knot_Theory.shtml
The file was modified web/entries/Koenigsberg_Friendship.shtml
The file was modified web/entries/LOFT.shtml
The file was modified web/entries/LTL.shtml
The file was modified web/entries/LTL_to_DRA.shtml
The file was modified web/entries/LTL_to_GBA.shtml
The file was modified web/entries/Lam-ml-Normalization.shtml
The file was modified web/entries/Lambda_Free_KBOs.shtml
The file was modified web/entries/Lambda_Free_RPOs.shtml
The file was modified web/entries/Landau_Symbols.shtml
The file was modified web/entries/Latin_Square.shtml
The file was modified web/entries/LatticeProperties.shtml
The file was modified web/entries/Launchbury.shtml
The file was modified web/entries/Lazy-Lists-II.shtml
The file was modified web/entries/Lehmer.shtml
The file was modified web/entries/Lifting_Definition_Option.shtml
The file was modified web/entries/LightweightJava.shtml
The file was modified web/entries/LinearQuantifierElim.shtml
The file was modified web/entries/Liouville_Numbers.shtml
The file was modified web/entries/List-Index.shtml
The file was modified web/entries/List-Infinite.shtml
The file was modified web/entries/List_Interleaving.shtml
The file was modified web/entries/List_Update.shtml
The file was modified web/entries/Locally-Nameless-Sigma.shtml
The file was modified web/entries/Lower_Semicontinuous.shtml
The file was modified web/entries/Lp.shtml
The file was modified web/entries/MFMC_Countable.shtml
The file was modified web/entries/MSO_Regex_Equivalence.shtml
The file was modified web/entries/Markov_Models.shtml
The file was modified web/entries/Marriage.shtml
The file was modified web/entries/Matrix.shtml
The file was modified web/entries/Matrix_Tensor.shtml
The file was modified web/entries/Max-Card-Matching.shtml
The file was modified web/entries/Menger.shtml
The file was modified web/entries/MiniML.shtml
The file was modified web/entries/Minimal_SSA.shtml
The file was modified web/entries/Modal_Logics_for_NTS.shtml
The file was modified web/entries/MonoBoolTranAlgebra.shtml
The file was modified web/entries/MuchAdoAboutTwo.shtml
The file was modified web/entries/Multirelations.shtml
The file was modified web/entries/Myhill-Nerode.shtml
The file was modified web/entries/Nat-Interval-Logic.shtml
The file was modified web/entries/Native_Word.shtml
The file was modified web/entries/Nested_Multisets_Ordinals.shtml
The file was modified web/entries/Network_Security_Policy_Verification.shtml
The file was modified web/entries/No_FTL_observers.shtml
The file was modified web/entries/Nominal2.shtml
The file was modified web/entries/Noninterference_CSP.shtml
The file was modified web/entries/Noninterference_Concurrent_Composition.shtml
The file was modified web/entries/Noninterference_Generic_Unwinding.shtml
The file was modified web/entries/Noninterference_Inductive_Unwinding.shtml
The file was modified web/entries/Noninterference_Ipurge_Unwinding.shtml
The file was modified web/entries/Noninterference_Sequential_Composition.shtml
The file was modified web/entries/NormByEval.shtml
The file was modified web/entries/Open_Induction.shtml
The file was modified web/entries/Ordinal.shtml
The file was modified web/entries/Ordinals_and_Cardinals.shtml
The file was modified web/entries/Ordinary_Differential_Equations.shtml
The file was modified web/entries/PCF.shtml
The file was modified web/entries/POPLmark-deBruijn.shtml
The file was modified web/entries/Pairing_Heap.shtml
The file was modified web/entries/Paraconsistency.shtml
The file was modified web/entries/Parity_Game.shtml
The file was modified web/entries/Partial_Function_MR.shtml
The file was modified web/entries/Password_Authentication_Protocol.shtml
The file was modified web/entries/Perfect-Number-Thm.shtml
The file was modified web/entries/Perron_Frobenius.shtml
The file was modified web/entries/Pi_Calculus.shtml
The file was modified web/entries/Planarity_Certificates.shtml
The file was modified web/entries/Polynomial_Factorization.shtml
The file was modified web/entries/Polynomial_Interpolation.shtml
The file was modified web/entries/Polynomials.shtml
The file was modified web/entries/Pop_Refinement.shtml
The file was modified web/entries/Posix-Lexing.shtml
The file was modified web/entries/Possibilistic_Noninterference.shtml
The file was modified web/entries/Pratt_Certificate.shtml
The file was modified web/entries/Presburger-Automata.shtml
The file was modified web/entries/Prime_Harmonic_Series.shtml
The file was modified web/entries/Priority_Queue_Braun.shtml
The file was modified web/entries/Probabilistic_Noninterference.shtml
The file was modified web/entries/Probabilistic_System_Zoo.shtml
The file was modified web/entries/Program-Conflict-Analysis.shtml
The file was modified web/entries/Promela.shtml
The file was modified web/entries/Proof_Strategy_Language.shtml
The file was modified web/entries/PropResPI.shtml
The file was modified web/entries/PseudoHoops.shtml
The file was modified web/entries/Psi_Calculi.shtml
The file was modified web/entries/Ptolemys_Theorem.shtml
The file was modified web/entries/QR_Decomposition.shtml
The file was modified web/entries/RIPEMD-160-SPARK.shtml
The file was modified web/entries/ROBDD.shtml
The file was modified web/entries/RSAPSS.shtml
The file was modified web/entries/Ramsey-Infinite.shtml
The file was modified web/entries/Random_Graph_Subgraph_Threshold.shtml
The file was modified web/entries/Randomised_Social_Choice.shtml
The file was modified web/entries/Rank_Nullity_Theorem.shtml
The file was modified web/entries/Real_Impl.shtml
The file was modified web/entries/Recursion-Theory-I.shtml
The file was modified web/entries/Refine_Imperative_HOL.shtml
The file was modified web/entries/Refine_Monadic.shtml
The file was modified web/entries/RefinementReactive.shtml
The file was modified web/entries/Regex_Equivalence.shtml
The file was modified web/entries/Regular-Sets.shtml
The file was modified web/entries/Regular_Algebras.shtml
The file was modified web/entries/Relation_Algebra.shtml
The file was modified web/entries/Rep_Fin_Groups.shtml
The file was modified web/entries/Residuated_Lattices.shtml
The file was modified web/entries/Resolution_FOL.shtml
The file was modified web/entries/Rewriting_Z.shtml
The file was modified web/entries/Ribbon_Proofs.shtml
The file was modified web/entries/Robbins-Conjecture.shtml
The file was modified web/entries/Routing.shtml
The file was modified web/entries/Roy_Floyd_Warshall.shtml
The file was modified web/entries/SATSolverVerification.shtml
The file was modified web/entries/SDS_Impossibility.shtml
The file was modified web/entries/SIFPL.shtml
The file was modified web/entries/SIFUM_Type_Systems.shtml
The file was modified web/entries/SPARCv8.shtml
The file was modified web/entries/Secondary_Sylow.shtml
The file was modified web/entries/Selection_Heap_Sort.shtml
The file was modified web/entries/SenSocialChoice.shtml
The file was modified web/entries/Separata.shtml
The file was modified web/entries/Separation_Algebra.shtml
The file was modified web/entries/Separation_Logic_Imperative_HOL.shtml
The file was modified web/entries/SequentInvertibility.shtml
The file was modified web/entries/Shivers-CFA.shtml
The file was modified web/entries/ShortestPath.shtml
The file was modified web/entries/Show.shtml
The file was modified web/entries/Simpl.shtml
The file was modified web/entries/Simple_Firewall.shtml
The file was modified web/entries/Skew_Heap.shtml
The file was modified web/entries/Slicing.shtml
The file was modified web/entries/Sort_Encodings.shtml
The file was modified web/entries/Source_Coding_Theorem.shtml
The file was modified web/entries/Special_Function_Bounds.shtml
The file was modified web/entries/Splay_Tree.shtml
The file was modified web/entries/Sqrt_Babylonian.shtml
The file was modified web/entries/Stable_Matching.shtml
The file was modified web/entries/Statecharts.shtml
The file was modified web/entries/Stern_Brocot.shtml
The file was modified web/entries/Stirling_Formula.shtml
The file was modified web/entries/Stone_Algebras.shtml
The file was modified web/entries/Stone_Relation_Algebras.shtml
The file was modified web/entries/Stream-Fusion.shtml
The file was modified web/entries/Stream_Fusion_Code.shtml
The file was modified web/entries/Strong_Security.shtml
The file was modified web/entries/Sturm_Sequences.shtml
The file was modified web/entries/Sturm_Tarski.shtml
The file was modified web/entries/Stuttering_Equivalence.shtml
The file was modified web/entries/SumSquares.shtml
The file was modified web/entries/SuperCalc.shtml
The file was modified web/entries/Surprise_Paradox.shtml
The file was modified web/entries/TLA.shtml
The file was modified web/entries/Tail_Recursive_Functions.shtml
The file was modified web/entries/Tarskis_Geometry.shtml
The file was modified web/entries/Timed_Automata.shtml
The file was modified web/entries/Topology.shtml
The file was modified web/entries/TortoiseHare.shtml
The file was modified web/entries/Transitive-Closure-II.shtml
The file was modified web/entries/Transitive-Closure.shtml
The file was modified web/entries/Tree-Automata.shtml
The file was modified web/entries/Tree_Decomposition.shtml
The file was modified web/entries/Triangle.shtml
The file was modified web/entries/Trie.shtml
The file was modified web/entries/Twelvefold_Way.shtml
The file was modified web/entries/Tycon.shtml
The file was modified web/entries/UPF.shtml
The file was modified web/entries/UPF_Firewall.shtml
The file was modified web/entries/UpDown_Scheme.shtml
The file was modified web/entries/Valuation.shtml
The file was modified web/entries/VectorSpace.shtml
The file was modified web/entries/Verified-Prover.shtml
The file was modified web/entries/Vickrey_Clarke_Groves.shtml
The file was modified web/entries/VolpanoSmith.shtml
The file was modified web/entries/WHATandWHERE_Security.shtml
The file was modified web/entries/Well_Quasi_Orders.shtml
The file was modified web/entries/Word_Lib.shtml
The file was modified web/entries/WorkerWrapper.shtml
The file was modified web/entries/XML.shtml
The file was modified web/entries/pGCL.shtml
The file was modified web/index.shtml
The file was modified web/search.shtml
The file was modified web/statistics.shtml
The file was modified web/submitting.shtml
The file was modified web/topics.shtml
The file was modified web/updating.shtml
The file was modified web/using.shtml
Changeset 7726:b19119ff2802 by manuel eberl _eberlm@in.tum.de_:
Adapted Euler_MacLaurin to afp-devel
The file was modified thys/Euler_MacLaurin/Euler_MacLaurin.thy
The file was modified thys/Euler_MacLaurin/Euler_MacLaurin_Landau.thy
Changeset 7725:ed8c7b612ec3 by kleing:
merge
Changeset 7724:d3c9899cd0cd by kleing:
merge from afp-2016-1
Changeset 7723:60bda380615e by gerwin.klein@data61.csiro.au:
re-run new sitegen
The file was modified web/entries/Deriving.shtml
The file was modified web/entries/Descartes_Sign_Rule.shtml
The file was modified web/entries/Euler_MacLaurin.shtml
The file was modified web/entries/Liouville_Numbers.shtml
The file was modified web/entries/Max-Card-Matching.shtml
The file was modified web/entries/Prime_Harmonic_Series.shtml
The file was modified web/entries/Transitive-Closure-II.shtml
The file was modified web/entries/Triangle.shtml
Changeset 7722:3160d659fa7d by gerwin klein _gerwin@doclsf.de_:
Merged in ammerbauer/afp-2016-1 (pull request #4)<br><br>Default
Changeset 7721:f8412893ceff by max "ammerbauer" haslbeck _max.haslbeck@gmx.de_:
Sort &quot;Used by&quot; and &quot;Depends on&quot; in Jinja2 template<br><br>* There are changes to some shtml files since Jinja2&#039;s and Python&#039;s<br>&nbsp; standard sort handle capital letters differently
The file was modified admin/sitegen-lib/templates.py
The file was modified admin/sitegen-lib/templates/entry.tpl
The file was modified web/entries/Automatic_Refinement.shtml
The file was modified web/entries/Collections.shtml
The file was modified web/entries/LTL_to_DRA.shtml
The file was modified web/entries/List-Index.shtml
The file was modified web/entries/Separation_Logic_Imperative_HOL.shtml
Changeset 7720:07dc918321f9 by max "ammerbauer" haslbeck _max.haslbeck@gmx.de_:
Show title of entry in &lt;title&gt;
The file was modified admin/sitegen-lib/templates/entry.tpl
The file was modified web/entries/AODV.shtml
The file was modified web/entries/AVL-Trees.shtml
The file was modified web/entries/AWN.shtml
The file was modified web/entries/Abortable_Linearizable_Modules.shtml
The file was modified web/entries/Abs_Int_ITP2012.shtml
The file was modified web/entries/Abstract-Hoare-Logics.shtml
The file was modified web/entries/Abstract-Rewriting.shtml
The file was modified web/entries/Abstract_Completeness.shtml
The file was modified web/entries/Abstract_Soundness.shtml
The file was modified web/entries/Affine_Arithmetic.shtml
The file was modified web/entries/Akra_Bazzi.shtml
The file was modified web/entries/Algebraic_Numbers.shtml
The file was modified web/entries/Algebraic_VCs.shtml
The file was modified web/entries/Allen_Calculus.shtml
The file was modified web/entries/Amortized_Complexity.shtml
The file was modified web/entries/Applicative_Lifting.shtml
The file was modified web/entries/ArrowImpossibilityGS.shtml
The file was modified web/entries/AutoFocus-Stream.shtml
The file was modified web/entries/Automatic_Refinement.shtml
The file was modified web/entries/BDD.shtml
The file was modified web/entries/Bell_Numbers_Spivey.shtml
The file was modified web/entries/Berlekamp_Zassenhaus.shtml
The file was modified web/entries/Bernoulli.shtml
The file was modified web/entries/Bertrands_Postulate.shtml
The file was modified web/entries/BinarySearchTree.shtml
The file was modified web/entries/Binomial-Heaps.shtml
The file was modified web/entries/Binomial-Queues.shtml
The file was modified web/entries/Bondy.shtml
The file was modified web/entries/Boolean_Expression_Checkers.shtml
The file was modified web/entries/Bounded_Deducibility_Security.shtml
The file was modified web/entries/Buildings.shtml
The file was modified web/entries/BytecodeLogicJmlTypes.shtml
The file was modified web/entries/CAVA_Automata.shtml
The file was modified web/entries/CAVA_LTL_Modelchecker.shtml
The file was modified web/entries/CCS.shtml
The file was modified web/entries/CISC-Kernel.shtml
The file was modified web/entries/CYK.shtml
The file was modified web/entries/Call_Arity.shtml
The file was modified web/entries/Card_Equiv_Relations.shtml
The file was modified web/entries/Card_Multisets.shtml
The file was modified web/entries/Card_Number_Partitions.shtml
The file was modified web/entries/Card_Partitions.shtml
The file was modified web/entries/Cartan_FP.shtml
The file was modified web/entries/Case_Labeling.shtml
The file was modified web/entries/Catalan_Numbers.shtml
The file was modified web/entries/Category.shtml
The file was modified web/entries/Category2.shtml
The file was modified web/entries/Category3.shtml
The file was modified web/entries/Cauchy.shtml
The file was modified web/entries/Cayley_Hamilton.shtml
The file was modified web/entries/Certification_Monads.shtml
The file was modified web/entries/Chord_Segments.shtml
The file was modified web/entries/Circus.shtml
The file was modified web/entries/ClockSynchInst.shtml
The file was modified web/entries/CofGroups.shtml
The file was modified web/entries/Coinductive.shtml
The file was modified web/entries/Coinductive_Languages.shtml
The file was modified web/entries/Collections.shtml
The file was modified web/entries/Compiling-Exceptions-Correctly.shtml
The file was modified web/entries/Completeness.shtml
The file was modified web/entries/Complx.shtml
The file was modified web/entries/ComponentDependencies.shtml
The file was modified web/entries/ConcurrentGC.shtml
The file was modified web/entries/ConcurrentIMP.shtml
The file was modified web/entries/Concurrent_Ref_Alg.shtml
The file was modified web/entries/Consensus_Refined.shtml
The file was modified web/entries/Containers.shtml
The file was modified web/entries/CoreC++.shtml
The file was modified web/entries/CryptoBasedCompositionalProperties.shtml
The file was modified web/entries/DFS_Framework.shtml
The file was modified web/entries/DPT-SAT-Solver.shtml
The file was modified web/entries/DataRefinementIBP.shtml
The file was modified web/entries/Datatype_Order_Generator.shtml
The file was modified web/entries/Decreasing-Diagrams-II.shtml
The file was modified web/entries/Decreasing-Diagrams.shtml
The file was modified web/entries/Deep_Learning.shtml
The file was modified web/entries/Density_Compiler.shtml
The file was modified web/entries/Dependent_SIFUM_Refinement.shtml
The file was modified web/entries/Dependent_SIFUM_Type_Systems.shtml
The file was modified web/entries/Depth-First-Search.shtml
The file was modified web/entries/Derangements.shtml
The file was modified web/entries/Deriving.shtml
The file was modified web/entries/Descartes_Sign_Rule.shtml
The file was modified web/entries/Differential_Dynamic_Logic.shtml
The file was modified web/entries/Dijkstra_Shortest_Path.shtml
The file was modified web/entries/Discrete_Summation.shtml
The file was modified web/entries/DiskPaxos.shtml
The file was modified web/entries/Dynamic_Tables.shtml
The file was modified web/entries/E_Transcendental.shtml
The file was modified web/entries/Echelon_Form.shtml
The file was modified web/entries/EdmondsKarp_Maxflow.shtml
The file was modified web/entries/Efficient-Mergesort.shtml
The file was modified web/entries/Elliptic_Curves_Group_Law.shtml
The file was modified web/entries/Encodability_Process_Calculi.shtml
The file was modified web/entries/Ergodic_Theory.shtml
The file was modified web/entries/Euler_Partition.shtml
The file was modified web/entries/Example-Submission.shtml
The file was modified web/entries/FFT.shtml
The file was modified web/entries/FLP.shtml
The file was modified web/entries/FOL-Fitting.shtml
The file was modified web/entries/FOL_Harrison.shtml
The file was modified web/entries/FeatherweightJava.shtml
The file was modified web/entries/Featherweight_OCL.shtml
The file was modified web/entries/Fermat3_4.shtml
The file was modified web/entries/FileRefinement.shtml
The file was modified web/entries/FinFun.shtml
The file was modified web/entries/Finger-Trees.shtml
The file was modified web/entries/Finite_Automata_HF.shtml
The file was modified web/entries/Fisher_Yates.shtml
The file was modified web/entries/Flyspeck-Tame.shtml
The file was modified web/entries/FocusStreamsCaseStudies.shtml
The file was modified web/entries/Formal_SSA.shtml
The file was modified web/entries/Formula_Derivatives.shtml
The file was modified web/entries/Free-Boolean-Algebra.shtml
The file was modified web/entries/Free-Groups.shtml
The file was modified web/entries/FunWithFunctions.shtml
The file was modified web/entries/FunWithTilings.shtml
The file was modified web/entries/Functional-Automata.shtml
The file was modified web/entries/GPU_Kernel_PL.shtml
The file was modified web/entries/Gabow_SCC.shtml
The file was modified web/entries/Gauss-Jordan-Elim-Fun.shtml
The file was modified web/entries/Gauss_Jordan.shtml
The file was modified web/entries/GenClock.shtml
The file was modified web/entries/General-Triangle.shtml
The file was modified web/entries/Girth_Chromatic.shtml
The file was modified web/entries/GoedelGod.shtml
The file was modified web/entries/GraphMarkingIBP.shtml
The file was modified web/entries/Graph_Theory.shtml
The file was modified web/entries/Groebner_Bases.shtml
The file was modified web/entries/Group-Ring-Module.shtml
The file was modified web/entries/HRB-Slicing.shtml
The file was modified web/entries/Heard_Of.shtml
The file was modified web/entries/HereditarilyFinite.shtml
The file was modified web/entries/Hermite.shtml
The file was modified web/entries/HotelKeyCards.shtml
The file was modified web/entries/Huffman.shtml
The file was modified web/entries/HyperCTL.shtml
The file was modified web/entries/IEEE_Floating_Point.shtml
The file was modified web/entries/IP_Addresses.shtml
The file was modified web/entries/Imperative_Insertion_Sort.shtml
The file was modified web/entries/Impossible_Geometry.shtml
The file was modified web/entries/Incompleteness.shtml
The file was modified web/entries/Incredible_Proof_Machine.shtml
The file was modified web/entries/Inductive_Confidentiality.shtml
The file was modified web/entries/InfPathElimination.shtml
The file was modified web/entries/InformationFlowSlicing.shtml
The file was modified web/entries/InformationFlowSlicing_Inter.shtml
The file was modified web/entries/Integration.shtml
The file was modified web/entries/Iptables_Semantics.shtml
The file was modified web/entries/Isabelle_Meta_Model.shtml
The file was modified web/entries/Jinja.shtml
The file was modified web/entries/JinjaThreads.shtml
The file was modified web/entries/JiveDataStoreModel.shtml
The file was modified web/entries/Jordan_Hoelder.shtml
The file was modified web/entries/Jordan_Normal_Form.shtml
The file was modified web/entries/KAD.shtml
The file was modified web/entries/KAT_and_DRA.shtml
The file was modified web/entries/KBPs.shtml
The file was modified web/entries/Key_Agreement_Strong_Adversaries.shtml
The file was modified web/entries/Kleene_Algebra.shtml
The file was modified web/entries/Knot_Theory.shtml
The file was modified web/entries/Koenigsberg_Friendship.shtml
The file was modified web/entries/LOFT.shtml
The file was modified web/entries/LTL.shtml
The file was modified web/entries/LTL_to_DRA.shtml
The file was modified web/entries/LTL_to_GBA.shtml
The file was modified web/entries/Lam-ml-Normalization.shtml
The file was modified web/entries/Lambda_Free_KBOs.shtml
The file was modified web/entries/Lambda_Free_RPOs.shtml
The file was modified web/entries/Landau_Symbols.shtml
The file was modified web/entries/Latin_Square.shtml
The file was modified web/entries/LatticeProperties.shtml
The file was modified web/entries/Launchbury.shtml
The file was modified web/entries/Lazy-Lists-II.shtml
The file was modified web/entries/Lehmer.shtml
The file was modified web/entries/Lifting_Definition_Option.shtml
The file was modified web/entries/LightweightJava.shtml
The file was modified web/entries/LinearQuantifierElim.shtml
The file was modified web/entries/Liouville_Numbers.shtml
The file was modified web/entries/List-Index.shtml
The file was modified web/entries/List-Infinite.shtml
The file was modified web/entries/List_Interleaving.shtml
The file was modified web/entries/List_Update.shtml
The file was modified web/entries/Locally-Nameless-Sigma.shtml
The file was modified web/entries/Lower_Semicontinuous.shtml
The file was modified web/entries/Lp.shtml
The file was modified web/entries/MFMC_Countable.shtml
The file was modified web/entries/MSO_Regex_Equivalence.shtml
The file was modified web/entries/Markov_Models.shtml
The file was modified web/entries/Marriage.shtml
The file was modified web/entries/Matrix.shtml
The file was modified web/entries/Matrix_Tensor.shtml
The file was modified web/entries/Max-Card-Matching.shtml
The file was modified web/entries/Menger.shtml
The file was modified web/entries/MiniML.shtml
The file was modified web/entries/Minimal_SSA.shtml
The file was modified web/entries/Modal_Logics_for_NTS.shtml
The file was modified web/entries/MonoBoolTranAlgebra.shtml
The file was modified web/entries/MuchAdoAboutTwo.shtml
The file was modified web/entries/Multirelations.shtml
The file was modified web/entries/Myhill-Nerode.shtml
The file was modified web/entries/Nat-Interval-Logic.shtml
The file was modified web/entries/Native_Word.shtml
The file was modified web/entries/Nested_Multisets_Ordinals.shtml
The file was modified web/entries/Network_Security_Policy_Verification.shtml
The file was modified web/entries/No_FTL_observers.shtml
The file was modified web/entries/Nominal2.shtml
The file was modified web/entries/Noninterference_CSP.shtml
The file was modified web/entries/Noninterference_Concurrent_Composition.shtml
The file was modified web/entries/Noninterference_Generic_Unwinding.shtml
The file was modified web/entries/Noninterference_Inductive_Unwinding.shtml
The file was modified web/entries/Noninterference_Ipurge_Unwinding.shtml
The file was modified web/entries/Noninterference_Sequential_Composition.shtml
The file was modified web/entries/NormByEval.shtml
The file was modified web/entries/Open_Induction.shtml
The file was modified web/entries/Ordinal.shtml
The file was modified web/entries/Ordinals_and_Cardinals.shtml
The file was modified web/entries/Ordinary_Differential_Equations.shtml
The file was modified web/entries/PCF.shtml
The file was modified web/entries/POPLmark-deBruijn.shtml
The file was modified web/entries/Pairing_Heap.shtml
The file was modified web/entries/Paraconsistency.shtml
The file was modified web/entries/Parity_Game.shtml
The file was modified web/entries/Partial_Function_MR.shtml
The file was modified web/entries/Password_Authentication_Protocol.shtml
The file was modified web/entries/Perfect-Number-Thm.shtml
The file was modified web/entries/Perron_Frobenius.shtml
The file was modified web/entries/Pi_Calculus.shtml
The file was modified web/entries/Planarity_Certificates.shtml
The file was modified web/entries/Polynomial_Factorization.shtml
The file was modified web/entries/Polynomial_Interpolation.shtml
The file was modified web/entries/Polynomials.shtml
The file was modified web/entries/Pop_Refinement.shtml
The file was modified web/entries/Posix-Lexing.shtml
The file was modified web/entries/Possibilistic_Noninterference.shtml
The file was modified web/entries/Pratt_Certificate.shtml
The file was modified web/entries/Presburger-Automata.shtml
The file was modified web/entries/Prime_Harmonic_Series.shtml
The file was modified web/entries/Priority_Queue_Braun.shtml
The file was modified web/entries/Probabilistic_Noninterference.shtml
The file was modified web/entries/Probabilistic_System_Zoo.shtml
The file was modified web/entries/Program-Conflict-Analysis.shtml
The file was modified web/entries/Promela.shtml
The file was modified web/entries/Proof_Strategy_Language.shtml
The file was modified web/entries/PropResPI.shtml
The file was modified web/entries/PseudoHoops.shtml
The file was modified web/entries/Psi_Calculi.shtml
The file was modified web/entries/Ptolemys_Theorem.shtml
The file was modified web/entries/QR_Decomposition.shtml
The file was modified web/entries/RIPEMD-160-SPARK.shtml
The file was modified web/entries/ROBDD.shtml
The file was modified web/entries/RSAPSS.shtml
The file was modified web/entries/Ramsey-Infinite.shtml
The file was modified web/entries/Random_Graph_Subgraph_Threshold.shtml
The file was modified web/entries/Randomised_Social_Choice.shtml
The file was modified web/entries/Rank_Nullity_Theorem.shtml
The file was modified web/entries/Real_Impl.shtml
The file was modified web/entries/Recursion-Theory-I.shtml
The file was modified web/entries/Refine_Imperative_HOL.shtml
The file was modified web/entries/Refine_Monadic.shtml
The file was modified web/entries/RefinementReactive.shtml
The file was modified web/entries/Regex_Equivalence.shtml
The file was modified web/entries/Regular-Sets.shtml
The file was modified web/entries/Regular_Algebras.shtml
The file was modified web/entries/Relation_Algebra.shtml
The file was modified web/entries/Rep_Fin_Groups.shtml
The file was modified web/entries/Residuated_Lattices.shtml
The file was modified web/entries/Resolution_FOL.shtml
The file was modified web/entries/Rewriting_Z.shtml
The file was modified web/entries/Ribbon_Proofs.shtml
The file was modified web/entries/Robbins-Conjecture.shtml
The file was modified web/entries/Routing.shtml
The file was modified web/entries/Roy_Floyd_Warshall.shtml
The file was modified web/entries/SATSolverVerification.shtml
The file was modified web/entries/SDS_Impossibility.shtml
The file was modified web/entries/SIFPL.shtml
The file was modified web/entries/SIFUM_Type_Systems.shtml
The file was modified web/entries/SPARCv8.shtml
The file was modified web/entries/Secondary_Sylow.shtml
The file was modified web/entries/Selection_Heap_Sort.shtml
The file was modified web/entries/SenSocialChoice.shtml
The file was modified web/entries/Separata.shtml
The file was modified web/entries/Separation_Algebra.shtml
The file was modified web/entries/Separation_Logic_Imperative_HOL.shtml
The file was modified web/entries/SequentInvertibility.shtml
The file was modified web/entries/Shivers-CFA.shtml
The file was modified web/entries/ShortestPath.shtml
The file was modified web/entries/Show.shtml
The file was modified web/entries/Simpl.shtml
The file was modified web/entries/Simple_Firewall.shtml
The file was modified web/entries/Skew_Heap.shtml
The file was modified web/entries/Slicing.shtml
The file was modified web/entries/Sort_Encodings.shtml
The file was modified web/entries/Source_Coding_Theorem.shtml
The file was modified web/entries/Special_Function_Bounds.shtml
The file was modified web/entries/Splay_Tree.shtml
The file was modified web/entries/Sqrt_Babylonian.shtml
The file was modified web/entries/Stable_Matching.shtml
The file was modified web/entries/Statecharts.shtml
The file was modified web/entries/Stern_Brocot.shtml
The file was modified web/entries/Stirling_Formula.shtml
The file was modified web/entries/Stone_Algebras.shtml
The file was modified web/entries/Stone_Relation_Algebras.shtml
The file was modified web/entries/Stream-Fusion.shtml
The file was modified web/entries/Stream_Fusion_Code.shtml
The file was modified web/entries/Strong_Security.shtml
The file was modified web/entries/Sturm_Sequences.shtml
The file was modified web/entries/Sturm_Tarski.shtml
The file was modified web/entries/Stuttering_Equivalence.shtml
The file was modified web/entries/SumSquares.shtml
The file was modified web/entries/SuperCalc.shtml
The file was modified web/entries/Surprise_Paradox.shtml
The file was modified web/entries/TLA.shtml
The file was modified web/entries/Tail_Recursive_Functions.shtml
The file was modified web/entries/Tarskis_Geometry.shtml
The file was modified web/entries/Timed_Automata.shtml
The file was modified web/entries/Topology.shtml
The file was modified web/entries/TortoiseHare.shtml
The file was modified web/entries/Transitive-Closure-II.shtml
The file was modified web/entries/Transitive-Closure.shtml
The file was modified web/entries/Tree-Automata.shtml
The file was modified web/entries/Tree_Decomposition.shtml
The file was modified web/entries/Triangle.shtml
The file was modified web/entries/Trie.shtml
The file was modified web/entries/Twelvefold_Way.shtml
The file was modified web/entries/Tycon.shtml
The file was modified web/entries/UPF.shtml
The file was modified web/entries/UPF_Firewall.shtml
The file was modified web/entries/UpDown_Scheme.shtml
The file was modified web/entries/Valuation.shtml
The file was modified web/entries/VectorSpace.shtml
The file was modified web/entries/Verified-Prover.shtml
The file was modified web/entries/Vickrey_Clarke_Groves.shtml
The file was modified web/entries/VolpanoSmith.shtml
The file was modified web/entries/WHATandWHERE_Security.shtml
The file was modified web/entries/Well_Quasi_Orders.shtml
The file was modified web/entries/Word_Lib.shtml
The file was modified web/entries/WorkerWrapper.shtml
The file was modified web/entries/XML.shtml
The file was modified web/entries/pGCL.shtml
Changeset 7719:05478f314698 by max "ammerbauer" haslbeck _max.haslbeck@gmx.de_:
Change &quot;Submission Guidelines&quot; to &quot;Submission&quot;
The file was modified admin/sitegen-lib/templates/base.tpl
The file was modified web/about.shtml
The file was modified web/citing.shtml
The file was modified web/entries/AODV.shtml
The file was modified web/entries/AVL-Trees.shtml
The file was modified web/entries/AWN.shtml
The file was modified web/entries/Abortable_Linearizable_Modules.shtml
The file was modified web/entries/Abs_Int_ITP2012.shtml
The file was modified web/entries/Abstract-Hoare-Logics.shtml
The file was modified web/entries/Abstract-Rewriting.shtml
The file was modified web/entries/Abstract_Completeness.shtml
The file was modified web/entries/Abstract_Soundness.shtml
The file was modified web/entries/Affine_Arithmetic.shtml
The file was modified web/entries/Akra_Bazzi.shtml
The file was modified web/entries/Algebraic_Numbers.shtml
The file was modified web/entries/Algebraic_VCs.shtml
The file was modified web/entries/Allen_Calculus.shtml
The file was modified web/entries/Amortized_Complexity.shtml
The file was modified web/entries/Applicative_Lifting.shtml
The file was modified web/entries/ArrowImpossibilityGS.shtml
The file was modified web/entries/AutoFocus-Stream.shtml
The file was modified web/entries/Automatic_Refinement.shtml
The file was modified web/entries/BDD.shtml
The file was modified web/entries/Bell_Numbers_Spivey.shtml
The file was modified web/entries/Berlekamp_Zassenhaus.shtml
The file was modified web/entries/Bernoulli.shtml
The file was modified web/entries/Bertrands_Postulate.shtml
The file was modified web/entries/BinarySearchTree.shtml
The file was modified web/entries/Binomial-Heaps.shtml
The file was modified web/entries/Binomial-Queues.shtml
The file was modified web/entries/Bondy.shtml
The file was modified web/entries/Boolean_Expression_Checkers.shtml
The file was modified web/entries/Bounded_Deducibility_Security.shtml
The file was modified web/entries/Buildings.shtml
The file was modified web/entries/BytecodeLogicJmlTypes.shtml
The file was modified web/entries/CAVA_Automata.shtml
The file was modified web/entries/CAVA_LTL_Modelchecker.shtml
The file was modified web/entries/CCS.shtml
The file was modified web/entries/CISC-Kernel.shtml
The file was modified web/entries/CYK.shtml
The file was modified web/entries/Call_Arity.shtml
The file was modified web/entries/Card_Equiv_Relations.shtml
The file was modified web/entries/Card_Multisets.shtml
The file was modified web/entries/Card_Number_Partitions.shtml
The file was modified web/entries/Card_Partitions.shtml
The file was modified web/entries/Cartan_FP.shtml
The file was modified web/entries/Case_Labeling.shtml
The file was modified web/entries/Catalan_Numbers.shtml
The file was modified web/entries/Category.shtml
The file was modified web/entries/Category2.shtml
The file was modified web/entries/Category3.shtml
The file was modified web/entries/Cauchy.shtml
The file was modified web/entries/Cayley_Hamilton.shtml
The file was modified web/entries/Certification_Monads.shtml
The file was modified web/entries/Chord_Segments.shtml
The file was modified web/entries/Circus.shtml
The file was modified web/entries/ClockSynchInst.shtml
The file was modified web/entries/CofGroups.shtml
The file was modified web/entries/Coinductive.shtml
The file was modified web/entries/Coinductive_Languages.shtml
The file was modified web/entries/Collections.shtml
The file was modified web/entries/Compiling-Exceptions-Correctly.shtml
The file was modified web/entries/Completeness.shtml
The file was modified web/entries/Complx.shtml
The file was modified web/entries/ComponentDependencies.shtml
The file was modified web/entries/ConcurrentGC.shtml
The file was modified web/entries/ConcurrentIMP.shtml
The file was modified web/entries/Concurrent_Ref_Alg.shtml
The file was modified web/entries/Consensus_Refined.shtml
The file was modified web/entries/Containers.shtml
The file was modified web/entries/CoreC++.shtml
The file was modified web/entries/CryptoBasedCompositionalProperties.shtml
The file was modified web/entries/DFS_Framework.shtml
The file was modified web/entries/DPT-SAT-Solver.shtml
The file was modified web/entries/DataRefinementIBP.shtml
The file was modified web/entries/Datatype_Order_Generator.shtml
The file was modified web/entries/Decreasing-Diagrams-II.shtml
The file was modified web/entries/Decreasing-Diagrams.shtml
The file was modified web/entries/Deep_Learning.shtml
The file was modified web/entries/Density_Compiler.shtml
The file was modified web/entries/Dependent_SIFUM_Refinement.shtml
The file was modified web/entries/Dependent_SIFUM_Type_Systems.shtml
The file was modified web/entries/Depth-First-Search.shtml
The file was modified web/entries/Derangements.shtml
The file was modified web/entries/Deriving.shtml
The file was modified web/entries/Descartes_Sign_Rule.shtml
The file was modified web/entries/Differential_Dynamic_Logic.shtml
The file was modified web/entries/Dijkstra_Shortest_Path.shtml
The file was modified web/entries/Discrete_Summation.shtml
The file was modified web/entries/DiskPaxos.shtml
The file was modified web/entries/Dynamic_Tables.shtml
The file was modified web/entries/E_Transcendental.shtml
The file was modified web/entries/Echelon_Form.shtml
The file was modified web/entries/EdmondsKarp_Maxflow.shtml
The file was modified web/entries/Efficient-Mergesort.shtml
The file was modified web/entries/Elliptic_Curves_Group_Law.shtml
The file was modified web/entries/Encodability_Process_Calculi.shtml
The file was modified web/entries/Ergodic_Theory.shtml
The file was modified web/entries/Euler_Partition.shtml
The file was modified web/entries/Example-Submission.shtml
The file was modified web/entries/FFT.shtml
The file was modified web/entries/FLP.shtml
The file was modified web/entries/FOL-Fitting.shtml
The file was modified web/entries/FOL_Harrison.shtml
The file was modified web/entries/FeatherweightJava.shtml
The file was modified web/entries/Featherweight_OCL.shtml
The file was modified web/entries/Fermat3_4.shtml
The file was modified web/entries/FileRefinement.shtml
The file was modified web/entries/FinFun.shtml
The file was modified web/entries/Finger-Trees.shtml
The file was modified web/entries/Finite_Automata_HF.shtml
The file was modified web/entries/Fisher_Yates.shtml
The file was modified web/entries/Flyspeck-Tame.shtml
The file was modified web/entries/FocusStreamsCaseStudies.shtml
The file was modified web/entries/Formal_SSA.shtml
The file was modified web/entries/Formula_Derivatives.shtml
The file was modified web/entries/Free-Boolean-Algebra.shtml
The file was modified web/entries/Free-Groups.shtml
The file was modified web/entries/FunWithFunctions.shtml
The file was modified web/entries/FunWithTilings.shtml
The file was modified web/entries/Functional-Automata.shtml
The file was modified web/entries/GPU_Kernel_PL.shtml
The file was modified web/entries/Gabow_SCC.shtml
The file was modified web/entries/Gauss-Jordan-Elim-Fun.shtml
The file was modified web/entries/Gauss_Jordan.shtml
The file was modified web/entries/GenClock.shtml
The file was modified web/entries/General-Triangle.shtml
The file was modified web/entries/Girth_Chromatic.shtml
The file was modified web/entries/GoedelGod.shtml
The file was modified web/entries/GraphMarkingIBP.shtml
The file was modified web/entries/Graph_Theory.shtml
The file was modified web/entries/Groebner_Bases.shtml
The file was modified web/entries/Group-Ring-Module.shtml
The file was modified web/entries/HRB-Slicing.shtml
The file was modified web/entries/Heard_Of.shtml
The file was modified web/entries/HereditarilyFinite.shtml
The file was modified web/entries/Hermite.shtml
The file was modified web/entries/HotelKeyCards.shtml
The file was modified web/entries/Huffman.shtml
The file was modified web/entries/HyperCTL.shtml
The file was modified web/entries/IEEE_Floating_Point.shtml
The file was modified web/entries/IP_Addresses.shtml
The file was modified web/entries/Imperative_Insertion_Sort.shtml
The file was modified web/entries/Impossible_Geometry.shtml
The file was modified web/entries/Incompleteness.shtml
The file was modified web/entries/Incredible_Proof_Machine.shtml
The file was modified web/entries/Inductive_Confidentiality.shtml
The file was modified web/entries/InfPathElimination.shtml
The file was modified web/entries/InformationFlowSlicing.shtml
The file was modified web/entries/InformationFlowSlicing_Inter.shtml
The file was modified web/entries/Integration.shtml
The file was modified web/entries/Iptables_Semantics.shtml
The file was modified web/entries/Isabelle_Meta_Model.shtml
The file was modified web/entries/Jinja.shtml
The file was modified web/entries/JinjaThreads.shtml
The file was modified web/entries/JiveDataStoreModel.shtml
The file was modified web/entries/Jordan_Hoelder.shtml
The file was modified web/entries/Jordan_Normal_Form.shtml
The file was modified web/entries/KAD.shtml
The file was modified web/entries/KAT_and_DRA.shtml
The file was modified web/entries/KBPs.shtml
The file was modified web/entries/Key_Agreement_Strong_Adversaries.shtml
The file was modified web/entries/Kleene_Algebra.shtml
The file was modified web/entries/Knot_Theory.shtml
The file was modified web/entries/Koenigsberg_Friendship.shtml
The file was modified web/entries/LOFT.shtml
The file was modified web/entries/LTL.shtml
The file was modified web/entries/LTL_to_DRA.shtml
The file was modified web/entries/LTL_to_GBA.shtml
The file was modified web/entries/Lam-ml-Normalization.shtml
The file was modified web/entries/Lambda_Free_KBOs.shtml
The file was modified web/entries/Lambda_Free_RPOs.shtml
The file was modified web/entries/Landau_Symbols.shtml
The file was modified web/entries/Latin_Square.shtml
The file was modified web/entries/LatticeProperties.shtml
The file was modified web/entries/Launchbury.shtml
The file was modified web/entries/Lazy-Lists-II.shtml
The file was modified web/entries/Lehmer.shtml
The file was modified web/entries/Lifting_Definition_Option.shtml
The file was modified web/entries/LightweightJava.shtml
The file was modified web/entries/LinearQuantifierElim.shtml
The file was modified web/entries/Liouville_Numbers.shtml
The file was modified web/entries/List-Index.shtml
The file was modified web/entries/List-Infinite.shtml
The file was modified web/entries/List_Interleaving.shtml
The file was modified web/entries/List_Update.shtml
The file was modified web/entries/Locally-Nameless-Sigma.shtml
The file was modified web/entries/Lower_Semicontinuous.shtml
The file was modified web/entries/Lp.shtml
The file was modified web/entries/MFMC_Countable.shtml
The file was modified web/entries/MSO_Regex_Equivalence.shtml
The file was modified web/entries/Markov_Models.shtml
The file was modified web/entries/Marriage.shtml
The file was modified web/entries/Matrix.shtml
The file was modified web/entries/Matrix_Tensor.shtml
The file was modified web/entries/Max-Card-Matching.shtml
The file was modified web/entries/Menger.shtml
The file was modified web/entries/MiniML.shtml
The file was modified web/entries/Minimal_SSA.shtml
The file was modified web/entries/Modal_Logics_for_NTS.shtml
The file was modified web/entries/MonoBoolTranAlgebra.shtml
The file was modified web/entries/MuchAdoAboutTwo.shtml
The file was modified web/entries/Multirelations.shtml
The file was modified web/entries/Myhill-Nerode.shtml
The file was modified web/entries/Nat-Interval-Logic.shtml
The file was modified web/entries/Native_Word.shtml
The file was modified web/entries/Nested_Multisets_Ordinals.shtml
The file was modified web/entries/Network_Security_Policy_Verification.shtml
The file was modified web/entries/No_FTL_observers.shtml
The file was modified web/entries/Nominal2.shtml
The file was modified web/entries/Noninterference_CSP.shtml
The file was modified web/entries/Noninterference_Concurrent_Composition.shtml
The file was modified web/entries/Noninterference_Generic_Unwinding.shtml
The file was modified web/entries/Noninterference_Inductive_Unwinding.shtml
The file was modified web/entries/Noninterference_Ipurge_Unwinding.shtml
The file was modified web/entries/Noninterference_Sequential_Composition.shtml
The file was modified web/entries/NormByEval.shtml
The file was modified web/entries/Open_Induction.shtml
The file was modified web/entries/Ordinal.shtml
The file was modified web/entries/Ordinals_and_Cardinals.shtml
The file was modified web/entries/Ordinary_Differential_Equations.shtml
The file was modified web/entries/PCF.shtml
The file was modified web/entries/POPLmark-deBruijn.shtml
The file was modified web/entries/Pairing_Heap.shtml
The file was modified web/entries/Paraconsistency.shtml
The file was modified web/entries/Parity_Game.shtml
The file was modified web/entries/Partial_Function_MR.shtml
The file was modified web/entries/Password_Authentication_Protocol.shtml
The file was modified web/entries/Perfect-Number-Thm.shtml
The file was modified web/entries/Perron_Frobenius.shtml
The file was modified web/entries/Pi_Calculus.shtml
The file was modified web/entries/Planarity_Certificates.shtml
The file was modified web/entries/Polynomial_Factorization.shtml
The file was modified web/entries/Polynomial_Interpolation.shtml
The file was modified web/entries/Polynomials.shtml
The file was modified web/entries/Pop_Refinement.shtml
The file was modified web/entries/Posix-Lexing.shtml
The file was modified web/entries/Possibilistic_Noninterference.shtml
The file was modified web/entries/Pratt_Certificate.shtml
The file was modified web/entries/Presburger-Automata.shtml
The file was modified web/entries/Prime_Harmonic_Series.shtml
The file was modified web/entries/Priority_Queue_Braun.shtml
The file was modified web/entries/Probabilistic_Noninterference.shtml
The file was modified web/entries/Probabilistic_System_Zoo.shtml
The file was modified web/entries/Program-Conflict-Analysis.shtml
The file was modified web/entries/Promela.shtml
The file was modified web/entries/Proof_Strategy_Language.shtml
The file was modified web/entries/PropResPI.shtml
The file was modified web/entries/PseudoHoops.shtml
The file was modified web/entries/Psi_Calculi.shtml
The file was modified web/entries/Ptolemys_Theorem.shtml
The file was modified web/entries/QR_Decomposition.shtml
The file was modified web/entries/RIPEMD-160-SPARK.shtml
The file was modified web/entries/ROBDD.shtml
The file was modified web/entries/RSAPSS.shtml
The file was modified web/entries/Ramsey-Infinite.shtml
The file was modified web/entries/Random_Graph_Subgraph_Threshold.shtml
The file was modified web/entries/Randomised_Social_Choice.shtml
The file was modified web/entries/Rank_Nullity_Theorem.shtml
The file was modified web/entries/Real_Impl.shtml
The file was modified web/entries/Recursion-Theory-I.shtml
The file was modified web/entries/Refine_Imperative_HOL.shtml
The file was modified web/entries/Refine_Monadic.shtml
The file was modified web/entries/RefinementReactive.shtml
The file was modified web/entries/Regex_Equivalence.shtml
The file was modified web/entries/Regular-Sets.shtml
The file was modified web/entries/Regular_Algebras.shtml
The file was modified web/entries/Relation_Algebra.shtml
The file was modified web/entries/Rep_Fin_Groups.shtml
The file was modified web/entries/Residuated_Lattices.shtml
The file was modified web/entries/Resolution_FOL.shtml
The file was modified web/entries/Rewriting_Z.shtml
The file was modified web/entries/Ribbon_Proofs.shtml
The file was modified web/entries/Robbins-Conjecture.shtml
The file was modified web/entries/Routing.shtml
The file was modified web/entries/Roy_Floyd_Warshall.shtml
The file was modified web/entries/SATSolverVerification.shtml
The file was modified web/entries/SDS_Impossibility.shtml
The file was modified web/entries/SIFPL.shtml
The file was modified web/entries/SIFUM_Type_Systems.shtml
The file was modified web/entries/SPARCv8.shtml
The file was modified web/entries/Secondary_Sylow.shtml
The file was modified web/entries/Selection_Heap_Sort.shtml
The file was modified web/entries/SenSocialChoice.shtml
The file was modified web/entries/Separata.shtml
The file was modified web/entries/Separation_Algebra.shtml
The file was modified web/entries/Separation_Logic_Imperative_HOL.shtml
The file was modified web/entries/SequentInvertibility.shtml
The file was modified web/entries/Shivers-CFA.shtml
The file was modified web/entries/ShortestPath.shtml
The file was modified web/entries/Show.shtml
The file was modified web/entries/Simpl.shtml
The file was modified web/entries/Simple_Firewall.shtml
The file was modified web/entries/Skew_Heap.shtml
The file was modified web/entries/Slicing.shtml
The file was modified web/entries/Sort_Encodings.shtml
The file was modified web/entries/Source_Coding_Theorem.shtml
The file was modified web/entries/Special_Function_Bounds.shtml
The file was modified web/entries/Splay_Tree.shtml
The file was modified web/entries/Sqrt_Babylonian.shtml
The file was modified web/entries/Stable_Matching.shtml
The file was modified web/entries/Statecharts.shtml
The file was modified web/entries/Stern_Brocot.shtml
The file was modified web/entries/Stirling_Formula.shtml
The file was modified web/entries/Stone_Algebras.shtml
The file was modified web/entries/Stone_Relation_Algebras.shtml
The file was modified web/entries/Stream-Fusion.shtml
The file was modified web/entries/Stream_Fusion_Code.shtml
The file was modified web/entries/Strong_Security.shtml
The file was modified web/entries/Sturm_Sequences.shtml
The file was modified web/entries/Sturm_Tarski.shtml
The file was modified web/entries/Stuttering_Equivalence.shtml
The file was modified web/entries/SumSquares.shtml
The file was modified web/entries/SuperCalc.shtml
The file was modified web/entries/Surprise_Paradox.shtml
The file was modified web/entries/TLA.shtml
The file was modified web/entries/Tail_Recursive_Functions.shtml
The file was modified web/entries/Tarskis_Geometry.shtml
The file was modified web/entries/Timed_Automata.shtml
The file was modified web/entries/Topology.shtml
The file was modified web/entries/TortoiseHare.shtml
The file was modified web/entries/Transitive-Closure-II.shtml
The file was modified web/entries/Transitive-Closure.shtml
The file was modified web/entries/Tree-Automata.shtml
The file was modified web/entries/Tree_Decomposition.shtml
The file was modified web/entries/Triangle.shtml
The file was modified web/entries/Trie.shtml
The file was modified web/entries/Twelvefold_Way.shtml
The file was modified web/entries/Tycon.shtml
The file was modified web/entries/UPF.shtml
The file was modified web/entries/UPF_Firewall.shtml
The file was modified web/entries/UpDown_Scheme.shtml
The file was modified web/entries/Valuation.shtml
The file was modified web/entries/VectorSpace.shtml
The file was modified web/entries/Verified-Prover.shtml
The file was modified web/entries/Vickrey_Clarke_Groves.shtml
The file was modified web/entries/VolpanoSmith.shtml
The file was modified web/entries/WHATandWHERE_Security.shtml
The file was modified web/entries/Well_Quasi_Orders.shtml
The file was modified web/entries/Word_Lib.shtml
The file was modified web/entries/WorkerWrapper.shtml
The file was modified web/entries/XML.shtml
The file was modified web/entries/pGCL.shtml
The file was modified web/index.shtml
The file was modified web/search.shtml
The file was modified web/statistics.shtml
The file was modified web/submitting.shtml
The file was modified web/topics.shtml
The file was modified web/updating.shtml
The file was modified web/using.shtml
Changeset 7718:e59ad87e0e45 by max "ammerbauer" haslbeck _max.haslbeck@gmx.de_:
Clean up sitegen scripts
The file was modified admin/sitegen-lib/afpstats.py
The file was modified admin/sitegen-lib/config.py
The file was modified admin/sitegen-lib/metadata.py
The file was modified admin/sitegen-lib/sitegen.py
The file was modified admin/sitegen-lib/templates.py
The file was modified admin/sitegen-lib/templates/index.tpl
The file was modified admin/sitegen-lib/templates/statistics.tpl
The file was modified admin/sitegen-lib/terminal.py
The file was modified web/entries/Deriving.shtml
The file was modified web/entries/Descartes_Sign_Rule.shtml
The file was modified web/entries/Liouville_Numbers.shtml
The file was modified web/entries/Max-Card-Matching.shtml
The file was modified web/entries/Prime_Harmonic_Series.shtml
The file was modified web/entries/Transitive-Closure-II.shtml
The file was modified web/entries/Triangle.shtml
Changeset 7717:d937e75c23bc by max "ammerbauer" haslbeck _max.haslbeck@gmx.de_:
Fix and clean up templates.py
The file was modified admin/sitegen-lib/templates.py
Changeset 7716:07178ab4e241 by paulson _lp15@cam.ac.uk_:
Euler_MacLaurin website
The file was addedweb/entries/Euler_MacLaurin.shtml
The file was modified metadata/metadata
The file was modified web/entries/Bernoulli.shtml
The file was modified web/entries/Landau_Symbols.shtml
The file was modified web/index.shtml
The file was modified web/rss.xml
The file was modified web/statistics.shtml
The file was modified web/topics.shtml
Changeset 7715:b3354b09eba5 by paulson _lp15@cam.ac.uk_:
new: Euler_MacLaurin
The file was addedthys/Euler_MacLaurin/Euler_MacLaurin.thy
The file was addedthys/Euler_MacLaurin/Euler_MacLaurin_Landau.thy
The file was addedthys/Euler_MacLaurin/ROOT
The file was addedthys/Euler_MacLaurin/document/root.bib
The file was addedthys/Euler_MacLaurin/document/root.tex
The file was modified thys/ROOTS

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

Summary

  1. Removed [simp] status for Complex_eq. Also tidied some proofs
  2. Removal of [simp] status for greaterThan_0. Moved two theorems into main HOL.
Changeset 65274:db2de50de28e by paulson _lp15@cam.ac.uk_:
Removed [simp] status for Complex_eq. Also tidied some proofs
The file was modified src/HOL/Analysis/Complex_Transcendental.thy
The file was modified src/HOL/Analysis/Generalised_Binomial_Theorem.thy
The file was modified src/HOL/Analysis/Great_Picard.thy
The file was modified src/HOL/Complex.thy
The file was modified src/HOL/Nonstandard_Analysis/NSComplex.thy
Changeset 65273:917ae0ba03a2 by paulson _lp15@cam.ac.uk_:
Removal of [simp] status for greaterThan_0. Moved two theorems into main HOL.
The file was modified src/HOL/Analysis/Harmonic_Numbers.thy
The file was modified src/HOL/MacLaurin.thy
The file was modified src/HOL/Set_Interval.thy