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 62640 e36cbe677c17
parent 62363 7b5468422352
child 62739 628c97d39627
equal deleted inserted replaced
62639:699e86051e35 62640:e36cbe677c17 
   355     "root.tex"
 
   355     "root.tex"
 
   356 
   356 
   357 session System (doc) in "System" = Pure +
 
   357 session System (doc) in "System" = Pure +
 
   358   options [document_variants = "system", thy_output_source]
 
   358   options [document_variants = "system", thy_output_source]
 
   359   theories
 
   359   theories
 
   360     Basics
 
   360     Environment
 
   361     Sessions
 
   361     Sessions
 
   362     Presentation
 
   362     Presentation
 
   363     Scala
 
   363     Scala
 
   364     Misc
 
   364     Misc
 
   365   document_files (in "..")
 
   365   document_files (in "..")
isabelle