Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merge from afp-2017
  2. recent developments on Perron Frobenius from AFP-devel
  3. update release list
  4. add nunchaku expect to submission instructions
  5. sitegen patch by Lars for new entry dependency checking might still have some issues with isabelle tool resolution in Darwin. To be refactored later.
  6. add entries that were devel-only
  7. using AFP entries (for non-editors) is now more uniform
  8. set AFP and Isabelle version to 2017
  9. regen website
  10. update submission instructions
Changeset 8393:5d8b799b9f60 by rene thiemann _rene.thiemann@uibk.ac.at_:
merge from afp-2017
Changeset 8392:8f9c7a9aec94 by rene thiemann _rene.thiemann@uibk.ac.at_:
recent developments on Perron Frobenius from AFP-devel
The file was addedthys/Perron_Frobenius/Perron_Frobenius_General.thy
The file was addedthys/Perron_Frobenius/Perron_Frobenius_Irreducible.thy
The file was addedthys/Perron_Frobenius/Roots_Unity.thy
The file was addedthys/Perron_Frobenius/Spectral_Radius_Theory_2.thy
The file was modified thys/Perron_Frobenius/Perron_Frobenius_Aux.thy (diff)
The file was modified thys/Perron_Frobenius/Perron_Frobenius_Aux_2.thy (diff)
The file was modified thys/Perron_Frobenius/ROOT (diff)
The file was removedthys/Perron_Frobenius/Perron_Frobenius_2.thy
Changeset 8391:15fe8ee72ca0 by kleing:
update release list
The file was modified metadata/releases (diff)
Changeset 8390:b5a7da05f09c by kleing:
add nunchaku expect to submission instructions
The file was modified admin/sitegen-lib/templates/submitting.tpl (diff)
The file was modified web/submitting.html (diff)
Changeset 8389:5df96e86c353 by kleing:
sitegen patch by Lars for new entry dependency checking<br><br>might still have some issues with isabelle tool resolution in Darwin.<br>To be refactored later.
The file was modified admin/sitegen (diff)
The file was modified admin/sitegen-lib/sitegen.py (diff)
Changeset 8388:d396e0351f89 by kleing:
add entries that were devel-only
The file was addedweb/entries/Dict_Construction.html
The file was addedweb/entries/Stone_Kleene_Relation_Algebras.html
Changeset 8387:97cbef55e65f by kleing:
using AFP entries (for non-editors) is now more uniform
The file was modified admin/sitegen-lib/templates/using.tpl (diff)
The file was modified web/using.html (diff)
Changeset 8386:f5408d5b219f by kleing:
set AFP and Isabelle version to 2017
The file was modified admin/publish (diff)
The file was modified admin/testall (diff)
Changeset 8385:48c78028d42c by kleing:
regen website
The file was modified web/entries/Affine_Arithmetic.html (diff)
The file was modified web/entries/Automatic_Refinement.html (diff)
The file was modified web/entries/DFS_Framework.html (diff)
The file was modified web/entries/EdmondsKarp_Maxflow.html (diff)
The file was modified web/entries/Flow_Networks.html (diff)
The file was modified web/entries/IP_Addresses.html (diff)
The file was modified web/entries/Iptables_Semantics.html (diff)
The file was modified web/entries/List-Index.html (diff)
The file was modified web/entries/Ordinary_Differential_Equations.html (diff)
The file was modified web/entries/Program-Conflict-Analysis.html (diff)
The file was modified web/entries/Prpu_Maxflow.html (diff)
The file was modified web/entries/Refine_Imperative_HOL.html (diff)
The file was modified web/entries/Routing.html (diff)
The file was modified web/entries/Simple_Firewall.html (diff)
The file was modified web/statistics.html (diff)
The file was modified web/submitting.html (diff)
Changeset 8384:a160f891ad77 by kleing:
update submission instructions
The file was modified admin/sitegen-lib/templates/submitting.tpl (diff)