src/Doc/ROOT
changeset 66453 cc19f7ca2ed6
parent 66444 6d2d993fa76e
child 66751 1f92f5cc70e4
     1.1 --- a/src/Doc/ROOT	Fri Aug 18 13:55:05 2017 +0200
     1.2 +++ b/src/Doc/ROOT	Fri Aug 18 20:47:47 2017 +0200
     1.3 @@ -48,7 +48,7 @@
     1.4    options [document_variants = "corec"]
     1.5    sessions
     1.6      Datatypes
     1.7 -  theories [document = false] "../Datatypes/Setup"
     1.8 +  theories [document = false] Datatypes.Setup
     1.9    theories Corec
    1.10    document_files (in "..")
    1.11      "prepare_document"
    1.12 @@ -249,8 +249,8 @@
    1.13    sessions
    1.14      "HOL-Library"
    1.15    theories [document = false]
    1.16 -    "~~/src/HOL/Library/LaTeXsugar"
    1.17 -    "~~/src/HOL/Library/OptionalSugar"
    1.18 +    "HOL-Library.LaTeXsugar"
    1.19 +    "HOL-Library.OptionalSugar"
    1.20    theories Sugar
    1.21    document_files (in "..")
    1.22      "prepare_document"