tuned;
authorwenzelm
Mon Dec 31 16:16:43 2012 +0100 (2012-12-31)
changeset 506543356ff213339
parent 50653 5c85f8b80b95
child 50655 1656248e673f
tuned;
README_REPOSITORY
     1.1 --- a/README_REPOSITORY	Mon Dec 31 15:56:17 2012 +0100
     1.2 +++ b/README_REPOSITORY	Mon Dec 31 16:16:43 2012 +0100
     1.3 @@ -310,5 +310,5 @@
     1.4    * administrative "isabelle build_doc" to populate the doc/
     1.5      directory, such that "isabelle doc" will find the results, for example:
     1.6  
     1.7 -      isabelle build_doc IsarRef
     1.8 +      isabelle build_doc -p IsarRef
     1.9