no document here;
authorwenzelm
Mon Jan 19 11:37:53 2015 +0100 (2015-01-19)
changeset 594054a0b34ef0563
parent 59404 5d08b2332b76
child 59406 283aa6225d98
no document here;
src/Doc/ROOT
     1.1 --- a/src/Doc/ROOT	Sun Jan 18 23:07:00 2015 +0100
     1.2 +++ b/src/Doc/ROOT	Mon Jan 19 11:37:53 2015 +0100
     1.3 @@ -17,7 +17,8 @@
     1.4      "style.sty"
     1.5  
     1.6  session Codegen_Basics in "Codegen" = "HOL" +
     1.7 -  theories [document = false]
     1.8 +  options [document = false]
     1.9 +  theories
    1.10      Setup
    1.11  
    1.12  session Codegen (doc) in "Codegen" = "Codegen_Basics" +