Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. regenerate depends-on info
  2. merge from afp-2016
  3. add URL for Walter Guttmann
  4. Merged in larsrh/afp-2016/depends-on (pull request #1) Auto-generate the 'depends on' field
  5. regenerate entries
  6. Python 3 compatibility
  7. regenerate entries
  8. generate dependencies by default
  9. Autogenerate "depends-on" field Generate the "depends-on" field of an entry by parsing ROOT and .thy files
Changeset 6521:083ef78e6ab5 by kleing:
regenerate depends-on info
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/Open_Induction.shtml (diff)
The file was modified web/entries/Stuttering_Equivalence.shtml (diff)
Changeset 6520:047929c010ad by kleing:
merge from afp-2016
Changeset 6519:11952ac46f28 by gerwin klein _gerwin.klein@nicta.com.au_:
add URL for Walter Guttmann
The file was modified metadata/metadata (diff)
The file was modified web/entries/KAD.shtml (diff)
The file was modified web/index.shtml (diff)
Changeset 6518:a783e7c3b785 by gerwin klein _gerwin.klein@nicta.com.au_:
Merged in larsrh/afp-2016/depends-on (pull request #1)<br><br>Auto-generate the &#039;depends on&#039; field
Changeset 6517:eb2e3426d5b9 by lars hupel _lars.hupel@mytum.de_:
regenerate entries
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/CAVA_LTL_Modelchecker.shtml (diff)
The file was modified web/entries/Collections.shtml (diff)
The file was modified web/entries/Containers.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/Echelon_Form.shtml (diff)
The file was modified web/entries/Finite_Automata_HF.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/Jordan_Normal_Form.shtml (diff)
The file was modified web/entries/KBPs.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/Myhill-Nerode.shtml (diff)
The file was modified web/entries/Network_Security_Policy_Verification.shtml (diff)
The file was modified web/entries/Noninterference_Ipurge_Unwinding.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/Promela.shtml (diff)
The file was modified web/entries/QR_Decomposition.shtml (diff)
The file was modified web/entries/Real_Impl.shtml (diff)
The file was modified web/entries/Residuated_Lattices.shtml (diff)
The file was modified web/entries/Separation_Logic_Imperative_HOL.shtml (diff)
The file was modified web/entries/Show.shtml (diff)
The file was modified web/entries/Tree-Automata.shtml (diff)
The file was modified web/entries/Well_Quasi_Orders.shtml (diff)
Changeset 6516:b6888ef165a4 by lars hupel _lars.hupel@mytum.de_:
Python 3 compatibility
The file was modified admin/sitegen.py (diff)
Changeset 6515:8fd2fe1fe836 by lars hupel _lars.hupel@mytum.de_:
regenerate entries
The file was modified web/entries/AODV.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/Algebraic_Numbers.shtml (diff)
The file was modified web/entries/Amortized_Complexity.shtml (diff)
The file was modified web/entries/AutoFocus-Stream.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/Call_Arity.shtml (diff)
The file was modified web/entries/Certification_Monads.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/Consensus_Refined.shtml (diff)
The file was modified web/entries/Containers.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/Descartes_Sign_Rule.shtml (diff)
The file was modified web/entries/Dijkstra_Shortest_Path.shtml (diff)
The file was modified web/entries/Echelon_Form.shtml (diff)
The file was modified web/entries/Euler_Partition.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/Formal_SSA.shtml (diff)
The file was modified web/entries/Formula_Derivatives.shtml (diff)
The file was modified web/entries/Free-Groups.shtml (diff)
The file was modified web/entries/Gauss_Jordan.shtml (diff)
The file was modified web/entries/Heard_Of.shtml (diff)
The file was modified web/entries/Hermite.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/Jordan_Normal_Form.shtml (diff)
The file was modified web/entries/KBPs.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/Liouville_Numbers.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/MonoBoolTranAlgebra.shtml (diff)
The file was modified web/entries/Myhill-Nerode.shtml (diff)
The file was modified web/entries/Network_Security_Policy_Verification.shtml (diff)
The file was modified web/entries/Open_Induction.shtml (diff)
The file was modified web/entries/Ordinary_Differential_Equations.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/Polynomials.shtml (diff)
The file was modified web/entries/Probabilistic_Noninterference.shtml (diff)
The file was modified web/entries/Promela.shtml (diff)
The file was modified web/entries/PseudoHoops.shtml (diff)
The file was modified web/entries/QR_Decomposition.shtml (diff)
The file was modified web/entries/Random_Graph_Subgraph_Threshold.shtml (diff)
The file was modified web/entries/Real_Impl.shtml (diff)
The file was modified web/entries/Regex_Equivalence.shtml (diff)
The file was modified web/entries/Residuated_Lattices.shtml (diff)
The file was modified web/entries/Separation_Logic_Imperative_HOL.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/Special_Function_Bounds.shtml (diff)
The file was modified web/entries/Sqrt_Babylonian.shtml (diff)
The file was modified web/entries/Stream_Fusion_Code.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/UpDown_Scheme.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/XML.shtml (diff)
Changeset 6514:9c0b6d5f7093 by lars hupel _lars.hupel@mytum.de_:
generate dependencies by default
The file was modified admin/sitegen (diff)
The file was modified admin/sitegen.py (diff)
The file was modified metadata/metadata (diff)
Changeset 6513:17c9f8d718f7 by max haslbeck _max.haslbeck@gmx.de_:
Autogenerate &quot;depends-on&quot; field<br><br>Generate the &quot;depends-on&quot; field of an entry by parsing ROOT and .thy<br>files
The file was modified admin/sitegen.py (diff)