[isabelle] Unwanted dependency documents in AFP



Hi,

I noticed that all dependencies show up on this page:

https://devel.isa-afp.org/browser_info/current/AFP/Parity_Game/index.html

This is not supposed to happen, but I don't see what I did wrong.

The ROOT file of Parity_Game is completely analogous to every other ROOT
file in the AFP, as far as I can tell:


chapter AFP

session Parity_Game (AFP) = HOL +
  options [timeout = 600]
  theories [document = false]
    "../Coinductive/Coinductive_List"
    "../Graph_Theory/Digraph_Isomorphism"
  theories
    PositionalDeterminacy
    AttractorInductive
    Graph_TheoryCompatibility
  document_files
    "root.tex"
    "root.bib"


Why do the dependencies show up?
What can I do to fix this?

Thanks,
Christoph




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.