updated according to bceec99254b0;
authorwenzelm
Mon Sep 02 11:03:02 2013 +0200 (2013-09-02)
changeset 53359ef65d5ee60cf
parent 53358 b46e6cd75dc6
child 53360 7ffc4a746a73
child 53371 47b23c582127
updated according to bceec99254b0;
README_REPOSITORY
     1.1 --- a/README_REPOSITORY	Sun Sep 01 14:00:05 2013 +0200
     1.2 +++ b/README_REPOSITORY	Mon Sep 02 11:03:02 2013 +0200
     1.3 @@ -38,7 +38,7 @@
     1.4  
     1.5  4. Access documentation (bash shell commands):
     1.6  
     1.7 -    ./bin/isabelle build_doc -p -a
     1.8 +    ./bin/isabelle build_doc -a
     1.9  
    1.10      ./bin/isabelle doc system
    1.11