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 57336 e13c5dd9c7de
parent 57330 d8a64a4cbfca
child 57339 3bb94256e0ed
equal deleted inserted replaced
57335:f911187ada43 57336:e13c5dd9c7de 
   184     "output.png"
 
   184     "output.png"
 
   185     "query.png"
 
   185     "query.png"
 
   186     "popup1.png"
 
   186     "popup1.png"
 
   187     "popup2.png"
 
   187     "popup2.png"
 
   188     "root.tex"
 
   188     "root.tex"
 
       
   189     "sidekick.png"
 
   189     "sledgehammer.png"
 
   190     "sledgehammer.png"
 
   190 
   191 
   191 session Sugar (doc) in "Sugar" = HOL +
 
   192 session Sugar (doc) in "Sugar" = HOL +
 
   192   options [document_variants = "sugar"]
 
   193   options [document_variants = "sugar"]
 
   193   theories [document = ""]
 
   194   theories [document = ""]
isabelle