Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added \<module> symbol.
authorberghofe
Tue, 12 Jul 2005 11:55:33 +0200
changeset 16772 fe9dfbc2fa3f
parent 16771 2b534c5b5625
child 16773 33c4d8fe6f78
Added \<module> symbol.
lib/texinputs/isabellesym.sty file | annotate | diff | comparison | revisions 
--- a/lib/texinputs/isabellesym.sty	Tue Jul 12 11:54:55 2005 +0200
+++ b/lib/texinputs/isabellesym.sty	Tue Jul 12 11:55:33 2005 +0200
@@ -359,3 +359,4 @@
 \newcommand{\isasymcedilla}{\isatext{\c\relax}}
 \newcommand{\isasymhungarumlaut}{\isatext{\H\relax}}
 \newcommand{\isasymspacespace}{\isamath{~~}}
+\newcommand{\isasymmodule}{\isamath{\langle}\isakeyword{module}\isamath{\rangle}}
isabelle