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/document/session.tex
author wenzelm
Sun, 11 Mar 2012 13:39:16 +0100
changeset 46867 0883804b67bb
parent 32983 a6914429005b
permissions -rw-r--r--
modernized locale expression, with some fluctuation of arguments;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
27063
d1d35284542f New version covering interpretation.
ballarin
parents: 17135
diff changeset 
     1
 
\input{Examples.tex}
d1d35284542f New version covering interpretation.
ballarin
parents: 17135
diff changeset 
     2
 












d1d35284542f
New version covering interpretation.



ballarin


parents: 
17135

diff
changeset




     3


\input{Examples1.tex}













d1d35284542f
New version covering interpretation.



ballarin


parents: 
17135

diff
changeset




     4














d1d35284542f
New version covering interpretation.



ballarin


parents: 
17135

diff
changeset




     5


\input{Examples2.tex}













d1d35284542f
New version covering interpretation.



ballarin


parents: 
17135

diff
changeset




     6














d1d35284542f
New version covering interpretation.



ballarin


parents: 
17135

diff
changeset




     7


\input{Examples3.tex}








17135






58f044289dca
tuned arrangement of generated stuff;



wenzelm


parents: 

diff
changeset




     8














58f044289dca
tuned arrangement of generated stuff;



wenzelm


parents: 

diff
changeset




     9


%%% Local Variables:













58f044289dca
tuned arrangement of generated stuff;



wenzelm


parents: 

diff
changeset




    10


%%% mode: latex













58f044289dca
tuned arrangement of generated stuff;



wenzelm


parents: 

diff
changeset




    11


%%% TeX-master: "root"













58f044289dca
tuned arrangement of generated stuff;



wenzelm


parents: 

diff
changeset




    12


%%% End:















isabelle