Skip to content
Jenkins
log in
Dashboard
wenzelm
My Views
afp-repo
#309
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Success
Changes
Summary
regenerate site
generate download page
regenerate site
use sitegen to generate AFP devel pages
tuned
sitegen distinguishes between 'devel' and 'stable'
Changeset
6876:abe3ef6861f1
by
lars hupel _lars.hupel@mytum.de_
:
regenerate site
The file was modified
web/download.shtml
(diff)
Changeset
6875:b738c4d70933
by
lars hupel _lars.hupel@mytum.de_
:
generate download page
The file was added
metadata/download.tpl
The file was modified
admin/sitegen-lib/config.py
(diff)
The file was modified
admin/sitegen-lib/templates.py
(diff)
Changeset
6874:c095a50d780d
by
lars hupel _lars.hupel@mytum.de_
:
regenerate site
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/Algebraic_VCs.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/Buildings.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_Multisets.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/Catalan_Numbers.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/Category3.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/DFS_Framework.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/Dependent_SIFUM_Refinement.shtml
(diff)
The file was modified
web/entries/Dependent_SIFUM_Type_Systems.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/IP_Addresses.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/InformationFlowSlicing.shtml
(diff)
The file was modified
web/entries/InformationFlowSlicing_Inter.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/Multivariate_Polynomials.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_Concurrent_Composition.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/Resolution_FOL.shtml
(diff)
The file was modified
web/entries/Rewriting_Z.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/Word_Lib.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
6873:7dc415bdc8a3
by
lars hupel _lars.hupel@mytum.de_
:
use sitegen to generate AFP devel pages
The file was added
admin/sitegen-devel
The file was added
metadata/empty-status.json
The file was added
metadata/status.tpl
The file was modified
admin/sitegen
(diff)
The file was modified
admin/sitegen-lib/config.py
(diff)
The file was modified
admin/sitegen-lib/sitegen.py
(diff)
The file was modified
admin/sitegen-lib/templates.py
(diff)
The file was modified
metadata/entry.tpl
(diff)
The file was modified
web/download.shtml
(diff)
The file was modified
web/front.css
(diff)
The file was modified
web/index.shtml
(diff)
The file was removed
admin/status.tpl
The file was removed
web/entries/devel-warning.shtml
Changeset
6872:ec0beda6737a
by
lars hupel _lars.hupel@mytum.de_
:
tuned
The file was modified
admin/sitegen-lib/sitegen.py
(diff)
Changeset
6871:49bfdc6aa377
by
lars hupel _lars.hupel@mytum.de_
:
sitegen distinguishes between 'devel' and 'stable'
The file was modified
admin/sitegen-lib/config.py
(diff)
The file was modified
admin/sitegen-lib/sitegen.py
(diff)
The file was modified
admin/sitegen-lib/templates.py
(diff)
The file was modified
metadata/index.tpl
(diff)
The file was modified
web/index.shtml
(diff)