Mercurial Mercurial > repos > testboard / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
README_REPOSITORY
changeset 50654 3356ff213339
parent 50653 5c85f8b80b95
child 51072 0351cc781a26
equal deleted inserted replaced
50653:5c85f8b80b95 50654:3356ff213339 
   308       isabelle build -b HOL
 
   308       isabelle build -b HOL
 
   309 
   309 
   310   * administrative "isabelle build_doc" to populate the doc/
 
   310   * administrative "isabelle build_doc" to populate the doc/
 
   311     directory, such that "isabelle doc" will find the results, for example:
 
   311     directory, such that "isabelle doc" will find the results, for example:
 
   312 
   312 
   313       isabelle build_doc IsarRef
 
   313       isabelle build_doc -p IsarRef
 
   314 
   314
testboard