[isabelle] Unwanted dependency documents in AFP
I noticed that all dependencies show up on this page:
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:
session Parity_Game (AFP) = HOL +
options [timeout = 600]
theories [document = false]
Why do the dependencies show up?
What can I do to fix this?
This archive was generated by a fusion of
Pipermail (Mailman edition) and