proper formatting, to facilitate line-based diff;
authorwenzelm
Wed Mar 13 17:15:25 2013 +0100 (2013-03-13)
changeset 51422821a70e29e0b
parent 51421 b5d559b101d9
child 51423 e5f9a6d9ca82
proper formatting, to facilitate line-based diff;
src/HOL/ROOT
     1.1 --- a/src/HOL/ROOT	Wed Mar 13 17:13:22 2013 +0100
     1.2 +++ b/src/HOL/ROOT	Wed Mar 13 17:15:25 2013 +0100
     1.3 @@ -210,7 +210,12 @@
     1.4  
     1.5  session "HOL-Codegenerator_Test" in Codegenerator_Test = "HOL-Library" +
     1.6    options [document = false, document_graph = false, browser_info = false]
     1.7 -  theories Generate Generate_Binary_Nat Generate_Target_Nat Generate_Efficient_Datastructures Generate_Pretty_Char
     1.8 +  theories
     1.9 +    Generate
    1.10 +    Generate_Binary_Nat
    1.11 +    Generate_Target_Nat
    1.12 +    Generate_Efficient_Datastructures
    1.13 +    Generate_Pretty_Char
    1.14  
    1.15  session "HOL-Metis_Examples" in Metis_Examples = HOL +
    1.16    description {*