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.
doc-src/Locales/Locales/generated/session.tex
changeset 17135 58f044289dca
parent 17134 ae56354155e4
child 17136 281667d3a7b2
equal deleted inserted replaced
17134:ae56354155e4 17135:58f044289dca 
     1 \input{Locales.tex}
 
       
     2 
       
     3 %%% Local Variables:
 
       
     4 %%% mode: latex
 
       
     5 %%% TeX-master: "root"
 
       
     6 %%% End:
isabelle