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.
\underscoreoff is now default
authorhaftmann
Mon, 15 Dec 2008 09:58:44 +0100
changeset 29104 a5ac0bc68e2b
parent 29103 e2fdd4ce541b
child 29105 8f38bf68d42e
\underscoreoff is now default
doc-src/IsarAdvanced/Classes/style.sty file | annotate | diff | comparison | revisions
doc-src/IsarAdvanced/Codegen/style.sty file | annotate | diff | comparison | revisions 
--- a/doc-src/IsarAdvanced/Classes/style.sty	Mon Dec 15 07:41:07 2008 +0000
+++ b/doc-src/IsarAdvanced/Classes/style.sty	Mon Dec 15 09:58:44 2008 +0100
@@ -30,7 +30,7 @@
 
 \pagestyle{headings}
 \binperiod
-\underscoreon
+\underscoreoff
 
 \renewcommand{\isadigit}[1]{\isamath{#1}}
 
--- a/doc-src/IsarAdvanced/Codegen/style.sty	Mon Dec 15 07:41:07 2008 +0000
+++ b/doc-src/IsarAdvanced/Codegen/style.sty	Mon Dec 15 09:58:44 2008 +0100
@@ -42,7 +42,7 @@
 
 \pagestyle{headings}
 \binperiod
-\underscoreon
+\underscoreoff
 
 \renewcommand{\isadigit}[1]{\isamath{#1}}
isabelle