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.
tuned \isastyle;
authorwenzelm
Sat, 19 Aug 2000 12:44:20 +0200
changeset 9658 97d6d0a72d35
parent 9657 0a187a43ef21
child 9659 b9cf6801f3da
tuned \isastyle;
doc-src/IsarRef/isar-ref.tex file | annotate | diff | comparison | revisions 
--- a/doc-src/IsarRef/isar-ref.tex	Sat Aug 19 12:43:55 2000 +0200
+++ b/doc-src/IsarRef/isar-ref.tex	Sat Aug 19 12:44:20 2000 +0200
@@ -16,8 +16,8 @@
 
 \makeindex
 
-\newcommand{\isabellestyle}{\small\tt\slshape}
-\newcommand{\isa}[1]{\emph{\isabellestyle #1}}
+\newcommand{\isastyle}{\small\tt\slshape}
+\newcommand{\isa}[1]{\emph{\isastyle #1}}
 \newcommand{\isasymColon}{\emph{$\mathrel{::}$}}
 \newcommand{\isasymRightarrow}{\emph{$\Rightarrow$}}
isabelle