Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged from afp-2016
  2. generate used-by entries
  3. Merged in larsrh/afp-2016 (pull request #4) Add used-by field to webpages of entries
  4. Add used-by field to webpages of entries
  5. topic too specialized (at least at that level)
  6. tuned topics
  7. tuned topics with concurrency
  8. fixed missing chapter AFP
  9. New article Tree_Decomposition
Changeset 6736:47735e6c1b59 by kleing:
merged from afp-2016
Changeset 6735:dbce3b0ae08c by gerwin.klein@nicta.com.au:
generate used-by entries
The file was modified web/entries/AODV.shtml (diff)
The file was modified web/entries/AVL-Trees.shtml (diff)
The file was modified web/entries/AWN.shtml (diff)
The file was modified web/entries/Abortable_Linearizable_Modules.shtml (diff)
The file was modified web/entries/Abstract-Hoare-Logics.shtml (diff)
The file was modified web/entries/Abstract-Rewriting.shtml (diff)
The file was modified web/entries/Abstract_Completeness.shtml (diff)
The file was modified web/entries/Affine_Arithmetic.shtml (diff)
The file was modified web/entries/Akra_Bazzi.shtml (diff)
The file was modified web/entries/Algebraic_Numbers.shtml (diff)
The file was modified web/entries/Amortized_Complexity.shtml (diff)
The file was modified web/entries/Applicative_Lifting.shtml (diff)
The file was modified web/entries/ArrowImpossibilityGS.shtml (diff)
The file was modified web/entries/AutoFocus-Stream.shtml (diff)
The file was modified web/entries/Automatic_Refinement.shtml (diff)
The file was modified web/entries/BDD.shtml (diff)
The file was modified web/entries/Bell_Numbers_Spivey.shtml (diff)
The file was modified web/entries/BinarySearchTree.shtml (diff)
The file was modified web/entries/Binomial-Heaps.shtml (diff)
The file was modified web/entries/Binomial-Queues.shtml (diff)
The file was modified web/entries/Bondy.shtml (diff)
The file was modified web/entries/Boolean_Expression_Checkers.shtml (diff)
The file was modified web/entries/Bounded_Deducibility_Security.shtml (diff)
The file was modified web/entries/BytecodeLogicJmlTypes.shtml (diff)
The file was modified web/entries/CAVA_Automata.shtml (diff)
The file was modified web/entries/CAVA_LTL_Modelchecker.shtml (diff)
The file was modified web/entries/CCS.shtml (diff)
The file was modified web/entries/CISC-Kernel.shtml (diff)
The file was modified web/entries/CYK.shtml (diff)
The file was modified web/entries/Call_Arity.shtml (diff)
The file was modified web/entries/Card_Equiv_Relations.shtml (diff)
The file was modified web/entries/Card_Number_Partitions.shtml (diff)
The file was modified web/entries/Card_Partitions.shtml (diff)
The file was modified web/entries/Cartan_FP.shtml (diff)
The file was modified web/entries/Case_Labeling.shtml (diff)
The file was modified web/entries/Category.shtml (diff)
The file was modified web/entries/Category2.shtml (diff)
The file was modified web/entries/Cauchy.shtml (diff)
The file was modified web/entries/Cayley_Hamilton.shtml (diff)
The file was modified web/entries/Certification_Monads.shtml (diff)
The file was modified web/entries/Circus.shtml (diff)
The file was modified web/entries/ClockSynchInst.shtml (diff)
The file was modified web/entries/CofGroups.shtml (diff)
The file was modified web/entries/Coinductive.shtml (diff)
The file was modified web/entries/Coinductive_Languages.shtml (diff)
The file was modified web/entries/Collections.shtml (diff)
The file was modified web/entries/Compiling-Exceptions-Correctly.shtml (diff)
The file was modified web/entries/Completeness.shtml (diff)
The file was modified web/entries/ComponentDependencies.shtml (diff)
The file was modified web/entries/ConcurrentGC.shtml (diff)
The file was modified web/entries/ConcurrentIMP.shtml (diff)
The file was modified web/entries/Consensus_Refined.shtml (diff)
The file was modified web/entries/Containers.shtml (diff)
The file was modified web/entries/CoreC++.shtml (diff)
The file was modified web/entries/CryptoBasedCompositionalProperties.shtml (diff)
The file was modified web/entries/DPT-SAT-Solver.shtml (diff)
The file was modified web/entries/DataRefinementIBP.shtml (diff)
The file was modified web/entries/Datatype_Order_Generator.shtml (diff)
The file was modified web/entries/Decreasing-Diagrams-II.shtml (diff)
The file was modified web/entries/Decreasing-Diagrams.shtml (diff)
The file was modified web/entries/Density_Compiler.shtml (diff)
The file was modified web/entries/Depth-First-Search.shtml (diff)
The file was modified web/entries/Derangements.shtml (diff)
The file was modified web/entries/Deriving.shtml (diff)
The file was modified web/entries/Descartes_Sign_Rule.shtml (diff)
The file was modified web/entries/Dijkstra_Shortest_Path.shtml (diff)
The file was modified web/entries/Discrete_Summation.shtml (diff)
The file was modified web/entries/DiskPaxos.shtml (diff)
The file was modified web/entries/Dynamic_Tables.shtml (diff)
The file was modified web/entries/Echelon_Form.shtml (diff)
The file was modified web/entries/Efficient-Mergesort.shtml (diff)
The file was modified web/entries/Encodability_Process_Calculi.shtml (diff)
The file was modified web/entries/Ergodic_Theory.shtml (diff)
The file was modified web/entries/Euler_Partition.shtml (diff)
The file was modified web/entries/FFT.shtml (diff)
The file was modified web/entries/FLP.shtml (diff)
The file was modified web/entries/FOL-Fitting.shtml (diff)
The file was modified web/entries/FeatherweightJava.shtml (diff)
The file was modified web/entries/Featherweight_OCL.shtml (diff)
The file was modified web/entries/Fermat3_4.shtml (diff)
The file was modified web/entries/FileRefinement.shtml (diff)
The file was modified web/entries/FinFun.shtml (diff)
The file was modified web/entries/Finger-Trees.shtml (diff)
The file was modified web/entries/Finite_Automata_HF.shtml (diff)
The file was modified web/entries/Flyspeck-Tame.shtml (diff)
The file was modified web/entries/FocusStreamsCaseStudies.shtml (diff)
The file was modified web/entries/Formal_SSA.shtml (diff)
The file was modified web/entries/Formula_Derivatives.shtml (diff)
The file was modified web/entries/Free-Boolean-Algebra.shtml (diff)
The file was modified web/entries/Free-Groups.shtml (diff)
The file was modified web/entries/FunWithFunctions.shtml (diff)
The file was modified web/entries/FunWithTilings.shtml (diff)
The file was modified web/entries/Functional-Automata.shtml (diff)
The file was modified web/entries/GPU_Kernel_PL.shtml (diff)
The file was modified web/entries/Gabow_SCC.shtml (diff)
The file was modified web/entries/Gauss-Jordan-Elim-Fun.shtml (diff)
The file was modified web/entries/Gauss_Jordan.shtml (diff)
The file was modified web/entries/GenClock.shtml (diff)
The file was modified web/entries/General-Triangle.shtml (diff)
The file was modified web/entries/Girth_Chromatic.shtml (diff)
The file was modified web/entries/GoedelGod.shtml (diff)
The file was modified web/entries/GraphMarkingIBP.shtml (diff)
The file was modified web/entries/Graph_Theory.shtml (diff)
The file was modified web/entries/Groebner_Bases.shtml (diff)
The file was modified web/entries/Group-Ring-Module.shtml (diff)
The file was modified web/entries/HRB-Slicing.shtml (diff)
The file was modified web/entries/Heard_Of.shtml (diff)
The file was modified web/entries/HereditarilyFinite.shtml (diff)
The file was modified web/entries/Hermite.shtml (diff)
The file was modified web/entries/HotelKeyCards.shtml (diff)
The file was modified web/entries/Huffman.shtml (diff)
The file was modified web/entries/HyperCTL.shtml (diff)
The file was modified web/entries/IEEE_Floating_Point.shtml (diff)
The file was modified web/entries/Imperative_Insertion_Sort.shtml (diff)
The file was modified web/entries/Impossible_Geometry.shtml (diff)
The file was modified web/entries/Incompleteness.shtml (diff)
The file was modified web/entries/Incredible_Proof_Machine.shtml (diff)
The file was modified web/entries/Inductive_Confidentiality.shtml (diff)
The file was modified web/entries/Integration.shtml (diff)
The file was modified web/entries/Isabelle_Meta_Model.shtml (diff)
The file was modified web/entries/Jinja.shtml (diff)
The file was modified web/entries/JinjaThreads.shtml (diff)
The file was modified web/entries/JiveDataStoreModel.shtml (diff)
The file was modified web/entries/Jordan_Hoelder.shtml (diff)
The file was modified web/entries/Jordan_Normal_Form.shtml (diff)
The file was modified web/entries/KAD.shtml (diff)
The file was modified web/entries/KAT_and_DRA.shtml (diff)
The file was modified web/entries/KBPs.shtml (diff)
The file was modified web/entries/Kleene_Algebra.shtml (diff)
The file was modified web/entries/Knot_Theory.shtml (diff)
The file was modified web/entries/Koenigsberg_Friendship.shtml (diff)
The file was modified web/entries/LTL.shtml (diff)
The file was modified web/entries/LTL_to_DRA.shtml (diff)
The file was modified web/entries/LTL_to_GBA.shtml (diff)
The file was modified web/entries/Lam-ml-Normalization.shtml (diff)
The file was modified web/entries/Landau_Symbols.shtml (diff)
The file was modified web/entries/Latin_Square.shtml (diff)
The file was modified web/entries/LatticeProperties.shtml (diff)
The file was modified web/entries/Launchbury.shtml (diff)
The file was modified web/entries/Lazy-Lists-II.shtml (diff)
The file was modified web/entries/Lehmer.shtml (diff)
The file was modified web/entries/Lifting_Definition_Option.shtml (diff)
The file was modified web/entries/LightweightJava.shtml (diff)
The file was modified web/entries/LinearQuantifierElim.shtml (diff)
The file was modified web/entries/Liouville_Numbers.shtml (diff)
The file was modified web/entries/List-Index.shtml (diff)
The file was modified web/entries/List-Infinite.shtml (diff)
The file was modified web/entries/List_Interleaving.shtml (diff)
The file was modified web/entries/List_Update.shtml (diff)
The file was modified web/entries/Locally-Nameless-Sigma.shtml (diff)
The file was modified web/entries/Lower_Semicontinuous.shtml (diff)
The file was modified web/entries/MFMC_Countable.shtml (diff)
The file was modified web/entries/MSO_Regex_Equivalence.shtml (diff)
The file was modified web/entries/Markov_Models.shtml (diff)
The file was modified web/entries/Marriage.shtml (diff)
The file was modified web/entries/Matrix.shtml (diff)
The file was modified web/entries/Matrix_Tensor.shtml (diff)
The file was modified web/entries/Max-Card-Matching.shtml (diff)
The file was modified web/entries/MiniML.shtml (diff)
The file was modified web/entries/MonoBoolTranAlgebra.shtml (diff)
The file was modified web/entries/MuchAdoAboutTwo.shtml (diff)
The file was modified web/entries/Multirelations.shtml (diff)
The file was modified web/entries/Myhill-Nerode.shtml (diff)
The file was modified web/entries/Nat-Interval-Logic.shtml (diff)
The file was modified web/entries/Native_Word.shtml (diff)
The file was modified web/entries/Network_Security_Policy_Verification.shtml (diff)
The file was modified web/entries/No_FTL_observers.shtml (diff)
The file was modified web/entries/Nominal2.shtml (diff)
The file was modified web/entries/Noninterference_CSP.shtml (diff)
The file was modified web/entries/Noninterference_Generic_Unwinding.shtml (diff)
The file was modified web/entries/Noninterference_Inductive_Unwinding.shtml (diff)
The file was modified web/entries/Noninterference_Ipurge_Unwinding.shtml (diff)
The file was modified web/entries/Noninterference_Sequential_Composition.shtml (diff)
The file was modified web/entries/NormByEval.shtml (diff)
The file was modified web/entries/Open_Induction.shtml (diff)
The file was modified web/entries/Ordinal.shtml (diff)
The file was modified web/entries/Ordinals_and_Cardinals.shtml (diff)
The file was modified web/entries/Ordinary_Differential_Equations.shtml (diff)
The file was modified web/entries/PCF.shtml (diff)
The file was modified web/entries/POPLmark-deBruijn.shtml (diff)
The file was modified web/entries/Parity_Game.shtml (diff)
The file was modified web/entries/Partial_Function_MR.shtml (diff)
The file was modified web/entries/Perfect-Number-Thm.shtml (diff)
The file was modified web/entries/Perron_Frobenius.shtml (diff)
The file was modified web/entries/Pi_Calculus.shtml (diff)
The file was modified web/entries/Planarity_Certificates.shtml (diff)
The file was modified web/entries/Polynomial_Factorization.shtml (diff)
The file was modified web/entries/Polynomial_Interpolation.shtml (diff)
The file was modified web/entries/Polynomials.shtml (diff)
The file was modified web/entries/Pop_Refinement.shtml (diff)
The file was modified web/entries/Posix-Lexing.shtml (diff)
The file was modified web/entries/Possibilistic_Noninterference.shtml (diff)
The file was modified web/entries/Pratt_Certificate.shtml (diff)
The file was modified web/entries/Presburger-Automata.shtml (diff)
The file was modified web/entries/Prime_Harmonic_Series.shtml (diff)
The file was modified web/entries/Priority_Queue_Braun.shtml (diff)
The file was modified web/entries/Probabilistic_Noninterference.shtml (diff)
The file was modified web/entries/Probabilistic_System_Zoo.shtml (diff)
The file was modified web/entries/Program-Conflict-Analysis.shtml (diff)
The file was modified web/entries/Promela.shtml (diff)
The file was modified web/entries/PropResPI.shtml (diff)
The file was modified web/entries/PseudoHoops.shtml (diff)
The file was modified web/entries/Psi_Calculi.shtml (diff)
The file was modified web/entries/QR_Decomposition.shtml (diff)
The file was modified web/entries/RIPEMD-160-SPARK.shtml (diff)
The file was modified web/entries/ROBDD.shtml (diff)
The file was modified web/entries/RSAPSS.shtml (diff)
The file was modified web/entries/Ramsey-Infinite.shtml (diff)
The file was modified web/entries/Random_Graph_Subgraph_Threshold.shtml (diff)
The file was modified web/entries/Randomised_Social_Choice.shtml (diff)
The file was modified web/entries/Rank_Nullity_Theorem.shtml (diff)
The file was modified web/entries/Real_Impl.shtml (diff)
The file was modified web/entries/Recursion-Theory-I.shtml (diff)
The file was modified web/entries/Refine_Monadic.shtml (diff)
The file was modified web/entries/RefinementReactive.shtml (diff)
The file was modified web/entries/Regex_Equivalence.shtml (diff)
The file was modified web/entries/Regular-Sets.shtml (diff)
The file was modified web/entries/Regular_Algebras.shtml (diff)
The file was modified web/entries/Relation_Algebra.shtml (diff)
The file was modified web/entries/Rep_Fin_Groups.shtml (diff)
The file was modified web/entries/Residuated_Lattices.shtml (diff)
The file was modified web/entries/Ribbon_Proofs.shtml (diff)
The file was modified web/entries/Robbins-Conjecture.shtml (diff)
The file was modified web/entries/Roy_Floyd_Warshall.shtml (diff)
The file was modified web/entries/SATSolverVerification.shtml (diff)
The file was modified web/entries/SDS_Impossibility.shtml (diff)
The file was modified web/entries/SIFPL.shtml (diff)
The file was modified web/entries/SIFUM_Type_Systems.shtml (diff)
The file was modified web/entries/Secondary_Sylow.shtml (diff)
The file was modified web/entries/Selection_Heap_Sort.shtml (diff)
The file was modified web/entries/SenSocialChoice.shtml (diff)
The file was modified web/entries/Separation_Algebra.shtml (diff)
The file was modified web/entries/Separation_Logic_Imperative_HOL.shtml (diff)
The file was modified web/entries/SequentInvertibility.shtml (diff)
The file was modified web/entries/Shivers-CFA.shtml (diff)
The file was modified web/entries/ShortestPath.shtml (diff)
The file was modified web/entries/Show.shtml (diff)
The file was modified web/entries/Simpl.shtml (diff)
The file was modified web/entries/Skew_Heap.shtml (diff)
The file was modified web/entries/Slicing.shtml (diff)
The file was modified web/entries/Sort_Encodings.shtml (diff)
The file was modified web/entries/Special_Function_Bounds.shtml (diff)
The file was modified web/entries/Splay_Tree.shtml (diff)
The file was modified web/entries/Sqrt_Babylonian.shtml (diff)
The file was modified web/entries/Statecharts.shtml (diff)
The file was modified web/entries/Stern_Brocot.shtml (diff)
The file was modified web/entries/Stream-Fusion.shtml (diff)
The file was modified web/entries/Stream_Fusion_Code.shtml (diff)
The file was modified web/entries/Strong_Security.shtml (diff)
The file was modified web/entries/Sturm_Sequences.shtml (diff)
The file was modified web/entries/Sturm_Tarski.shtml (diff)
The file was modified web/entries/Stuttering_Equivalence.shtml (diff)
The file was modified web/entries/SumSquares.shtml (diff)
The file was modified web/entries/TLA.shtml (diff)
The file was modified web/entries/Tail_Recursive_Functions.shtml (diff)
The file was modified web/entries/Tarskis_Geometry.shtml (diff)
The file was modified web/entries/Timed_Automata.shtml (diff)
The file was modified web/entries/Topology.shtml (diff)
The file was modified web/entries/TortoiseHare.shtml (diff)
The file was modified web/entries/Transitive-Closure-II.shtml (diff)
The file was modified web/entries/Transitive-Closure.shtml (diff)
The file was modified web/entries/Tree-Automata.shtml (diff)
The file was modified web/entries/Tree_Decomposition.shtml (diff)
The file was modified web/entries/Triangle.shtml (diff)
The file was modified web/entries/Trie.shtml (diff)
The file was modified web/entries/Tycon.shtml (diff)
The file was modified web/entries/UPF.shtml (diff)
The file was modified web/entries/UpDown_Scheme.shtml (diff)
The file was modified web/entries/Valuation.shtml (diff)
The file was modified web/entries/VectorSpace.shtml (diff)
The file was modified web/entries/Verified-Prover.shtml (diff)
The file was modified web/entries/Vickrey_Clarke_Groves.shtml (diff)
The file was modified web/entries/VolpanoSmith.shtml (diff)
The file was modified web/entries/WHATandWHERE_Security.shtml (diff)
The file was modified web/entries/Well_Quasi_Orders.shtml (diff)
The file was modified web/entries/WorkerWrapper.shtml (diff)
The file was modified web/entries/XML.shtml (diff)
The file was modified web/entries/pGCL.shtml (diff)
Changeset 6734:388085d7cd07 by gerwin klein _gerwin.klein@nicta.com.au_:
Merged in larsrh/afp-2016 (pull request #4)<br><br>Add used-by field to webpages of entries
Changeset 6733:c93e09b4b0d4 by max haslbeck _max.haslbeck@gmx.de_:
Add used-by field to webpages of entries
The file was modified admin/sitegen.py (diff)
Changeset 6732:c6f03623c3aa by nipkow:
topic too specialized (at least at that level)
The file was modified metadata/metadata (diff)
The file was modified metadata/topics (diff)
The file was modified web/topics.shtml (diff)
Changeset 6731:d404a38a6ba2 by nipkow:
tuned topics
The file was modified web/topics.shtml (diff)
Changeset 6730:c49c9b2e9d80 by nipkow:
tuned topics with concurrency
The file was modified metadata/metadata (diff)
The file was modified metadata/topics (diff)
Changeset 6729:f005a84a6eac by nipkow:
fixed missing chapter AFP
The file was modified thys/Tree_Decomposition/ROOT (diff)
Changeset 6728:f12153654f81 by nipkow:
New article Tree_Decomposition
The file was addedthys/Tree_Decomposition/ExampleInstantiations.thy
The file was addedthys/Tree_Decomposition/Graph.thy
The file was addedthys/Tree_Decomposition/ROOT
The file was addedthys/Tree_Decomposition/Tree.thy
The file was addedthys/Tree_Decomposition/TreeDecomposition.thy
The file was addedthys/Tree_Decomposition/TreewidthCompleteGraph.thy
The file was addedthys/Tree_Decomposition/TreewidthTree.thy
The file was addedthys/Tree_Decomposition/document/root.bib
The file was addedthys/Tree_Decomposition/document/root.tex
The file was addedweb/entries/Tree_Decomposition.shtml
The file was modified metadata/metadata (diff)
The file was modified thys/ROOTS (diff)
The file was modified web/index.shtml (diff)
The file was modified web/topics.shtml (diff)