Mercurial Mercurial > repos > isabelle / 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.
src/Doc/ROOT
changeset 67219 81e9804b2014
parent 67215 03d0c958d65a
child 67904 465f43a9f780
equal deleted inserted replaced
67218:e62d72699666 67219:81e9804b2014 
   370     "build"
 
   370     "build"
 
   371     "root.tex"
 
   371     "root.tex"
 
   372 
   372 
   373 session System (doc) in "System" = Pure +
 
   373 session System (doc) in "System" = Pure +
 
   374   options [document_variants = "system", thy_output_source]
 
   374   options [document_variants = "system", thy_output_source]
 
       
   375   sessions
 
       
   376     "HOL-Library"
 
   375   theories
 
   377   theories
 
   376     Environment
 
   378     Environment
 
   377     Sessions
 
   379     Sessions
 
   378     Presentation
 
   380     Presentation
 
   379     Scala
 
   381     Scala
isabelle