src/Doc/ROOT
changeset 65041 2525e680f94f
parent 64514 27914a4f8c70
child 65569 3cb6f3281ef1
     1.1 --- a/src/Doc/ROOT	Wed Feb 22 16:21:26 2017 +0000
     1.2 +++ b/src/Doc/ROOT	Wed Feb 22 20:24:50 2017 +0100
     1.3 @@ -29,6 +29,7 @@
     1.4      Refinement
     1.5      Inductive_Predicate
     1.6      Evaluation
     1.7 +    Computations
     1.8      Adaptation
     1.9      Further
    1.10    document_files (in "..")