Re: [isabelle] AFP/VerifyThis2018 document fails in development version



On 10/05/18 13:36, Makarius wrote:
> 
> The included ROOT file shows how to resolve this. There is now only one
> clearly defined session: it produces the correct document, and also
> builds faster (because the pointless auxiliary session is gone).

This is actually the updated ROOT file.


	Makarius
chapter AFP

session VerifyThis2018 = Sepref_IICF +
  options [timeout = 600]
  theories [document = false]
    "lib/VTcomp"
    "lib/DF_System"
    Snippets
  theories
    Challenge1
    Challenge1_short
    Challenge2
    Challenge3
  document_files
    "root.tex"


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