1 session "PIP" = HOL +

     2   theories [document = false]

     3 	"CpsG" 

     4 	"ExtGG" 

     5 

     6 session "Slides2" in "Slides" = PIP +

     7   options [document = pdf, browser_info = false, document_output = "..", document_variants="slides2"]

     8   theories [document = false]

     9     "~~/src/HOL/Library/LaTeXsugar"

    10   theories[document = true]

    11     "Slides2"

    12   files

    13     "document/build"

    14 

    15 session "Slides3" in "Slides" = PIP +

    16   options [document = pdf, browser_info = false, document_output = "..", document_variants="slides3"]

    17   theories [document = false]

    18     "~~/src/HOL/Library/LaTeXsugar"

    19   theories[document = true, show_question_marks = false]

    20     "Slides3"

    21   files

    22     "document/build"