Mercurial Mercurial > repos > isabelle / annotate
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
author wenzelm
Tue, 02 Aug 2005 19:47:13 +0200
changeset 17003 b902e11b3df1
parent 14586 7b8d56b4ac60
permissions -rw-r--r--
added unfold_tac (Simplifier.inherit_bounds);
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
14586
7b8d56b4ac60 Added Locales Tutorial.
ballarin
parents:
diff changeset 
     1
 
\input{Locales.tex}
7b8d56b4ac60 Added Locales Tutorial.
ballarin
parents:
diff changeset 
     2
 












7b8d56b4ac60
Added Locales Tutorial.



ballarin


parents: 

diff
changeset




     3


%%% Local Variables:













7b8d56b4ac60
Added Locales Tutorial.



ballarin


parents: 

diff
changeset




     4


%%% mode: latex













7b8d56b4ac60
Added Locales Tutorial.



ballarin


parents: 

diff
changeset




     5


%%% TeX-master: "root"













7b8d56b4ac60
Added Locales Tutorial.



ballarin


parents: 

diff
changeset




     6


%%% End:















isabelle