isabellesym.sty: eliminated dependency on latin1, to allow documents using utf8 instead;
authorwenzelm
Thu Dec 02 23:09:54 2010 +0100 (2010-12-02)
changeset 408937d88ebdce380
parent 40892 6f7292b94652
child 40894 a0f7ebe8f7a7
isabellesym.sty: eliminated dependency on latin1, to allow documents using utf8 instead;
doc-src/IsarRef/isar-ref.tex
doc-src/isabellesym.sty
lib/Tools/latex
lib/texinputs/draft.tex
lib/texinputs/isabellesym.sty
     1.1 --- a/doc-src/IsarRef/isar-ref.tex	Thu Dec 02 21:23:56 2010 +0100
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Thu Dec 02 23:09:54 2010 +0100
     1.3 @@ -1,7 +1,6 @@
     1.4  \documentclass[12pt,a4paper,fleqn]{report}
     1.5  \usepackage{amssymb}
     1.6  \usepackage[greek,english]{babel}
     1.7 -\usepackage[latin1]{inputenc}
     1.8  \usepackage[only,bigsqcap]{stmaryrd}
     1.9  \usepackage{textcomp}
    1.10  \usepackage{latexsym}
     2.1 --- a/doc-src/isabellesym.sty	Thu Dec 02 21:23:56 2010 +0100
     2.2 +++ b/doc-src/isabellesym.sty	Thu Dec 02 23:09:54 2010 +0100
     2.3 @@ -324,12 +324,12 @@
     2.4  \newcommand{\isasymregistered}{\isatext{\rm\textregistered}}
     2.5  \newcommand{\isasymhyphen}{\isatext{\rm-}}
     2.6  \newcommand{\isasyminverse}{\isamath{{}^{-1}}}
     2.7 -\newcommand{\isasymonesuperior}{\isamath{\mathonesuperior}}  %requires latin1
     2.8 -\newcommand{\isasymonequarter}{\isatext{\rm\textonequarter}}  %requires latin1
     2.9 -\newcommand{\isasymtwosuperior}{\isamath{\mathtwosuperior}}  %requires latin1
    2.10 -\newcommand{\isasymonehalf}{\isatext{\rm\textonehalf}}  %requires latin1
    2.11 -\newcommand{\isasymthreesuperior}{\isamath{\maththreesuperior}}  %requires latin1
    2.12 -\newcommand{\isasymthreequarters}{\isatext{\rm\textthreequarters}}  %requires latin1
    2.13 +\newcommand{\isasymonesuperior}{\isamath{{}^1}}
    2.14 +\newcommand{\isasymonequarter}{\isatext{\rm\textonequarter}}  %requires textcomp
    2.15 +\newcommand{\isasymtwosuperior}{\isamath{{}^2}}
    2.16 +\newcommand{\isasymonehalf}{\isatext{\rm\textonehalf}}  %requires textcomp
    2.17 +\newcommand{\isasymthreesuperior}{\isamath{{}^3}}
    2.18 +\newcommand{\isasymthreequarters}{\isatext{\rm\textthreequarters}}  %requires textcomp
    2.19  \newcommand{\isasymordfeminine}{\isatext{\rm\textordfeminine}}
    2.20  \newcommand{\isasymordmasculine}{\isatext{\rm\textordmasculine}}
    2.21  \newcommand{\isasymsection}{\isatext{\rm\S}}
    2.22 @@ -341,7 +341,7 @@
    2.23  \newcommand{\isasymyen}{\isatext{\yen}}  %requires amssymb
    2.24  \newcommand{\isasymcent}{\isatext{\textcent}}  %requires textcomp
    2.25  \newcommand{\isasymcurrency}{\isatext{\textcurrency}} %requires textcomp
    2.26 -\newcommand{\isasymdegree}{\isatext{\rm\textdegree}}  %requires latin1
    2.27 +\newcommand{\isasymdegree}{\isatext{\rm\textdegree}}  %requires textcomp
    2.28  \newcommand{\isasymamalg}{\isamath{\amalg}}
    2.29  \newcommand{\isasymmho}{\isamath{\mho}}  %requires amssymb
    2.30  \newcommand{\isasymlozenge}{\isamath{\lozenge}}  %requires amssymb
     3.1 --- a/lib/Tools/latex	Thu Dec 02 21:23:56 2010 +0100
     3.2 +++ b/lib/Tools/latex	Thu Dec 02 23:09:54 2010 +0100
     3.3 @@ -88,7 +88,7 @@
     3.4  function extract_syms ()
     3.5  {
     3.6    perl -n \
     3.7 -    -e '(!m,%requires, || m,%requires latin1, || m,%requires amssymb, || m,%requires textcomp,) && m,\\newcommand\{\\isasym(\w+)\}, && print "$1\n";' \
     3.8 +    -e '(!m,%requires, || m,%requires amssymb, || m,%requires textcomp,) && m,\\newcommand\{\\isasym(\w+)\}, && print "$1\n";' \
     3.9      "$ISABELLE_HOME/lib/texinputs/isabellesym.sty" > "$DIR/syms.lst"
    3.10    perl -n \
    3.11      -e 'm,\\newcommand\{\\isactrl(\w+)\}, && print "$1\n";' \
     4.1 --- a/lib/texinputs/draft.tex	Thu Dec 02 21:23:56 2010 +0100
     4.2 +++ b/lib/texinputs/draft.tex	Thu Dec 02 23:09:54 2010 +0100
     4.3 @@ -6,7 +6,6 @@
     4.4  \usepackage{isabelle,isabellesym,pdfsetup}
     4.5  
     4.6  %packages for unusual symbols according to 'isabelle latex -o syms'
     4.7 -\usepackage[latin1]{inputenc}
     4.8  \usepackage{amssymb}
     4.9  \usepackage{textcomp}
    4.10  
     5.1 --- a/lib/texinputs/isabellesym.sty	Thu Dec 02 21:23:56 2010 +0100
     5.2 +++ b/lib/texinputs/isabellesym.sty	Thu Dec 02 23:09:54 2010 +0100
     5.3 @@ -324,12 +324,12 @@
     5.4  \newcommand{\isasymregistered}{\isatext{\rm\textregistered}}
     5.5  \newcommand{\isasymhyphen}{\isatext{\rm-}}
     5.6  \newcommand{\isasyminverse}{\isamath{{}^{-1}}}
     5.7 -\newcommand{\isasymonesuperior}{\isamath{\mathonesuperior}}  %requires latin1
     5.8 -\newcommand{\isasymonequarter}{\isatext{\rm\textonequarter}}  %requires latin1
     5.9 -\newcommand{\isasymtwosuperior}{\isamath{\mathtwosuperior}}  %requires latin1
    5.10 -\newcommand{\isasymonehalf}{\isatext{\rm\textonehalf}}  %requires latin1
    5.11 -\newcommand{\isasymthreesuperior}{\isamath{\maththreesuperior}}  %requires latin1
    5.12 -\newcommand{\isasymthreequarters}{\isatext{\rm\textthreequarters}}  %requires latin1
    5.13 +\newcommand{\isasymonesuperior}{\isamath{{}^1}}
    5.14 +\newcommand{\isasymonequarter}{\isatext{\rm\textonequarter}}  %requires textcomp
    5.15 +\newcommand{\isasymtwosuperior}{\isamath{{}^2}}
    5.16 +\newcommand{\isasymonehalf}{\isatext{\rm\textonehalf}}  %requires textcomp
    5.17 +\newcommand{\isasymthreesuperior}{\isamath{{}^3}}
    5.18 +\newcommand{\isasymthreequarters}{\isatext{\rm\textthreequarters}}  %requires textcomp
    5.19  \newcommand{\isasymordfeminine}{\isatext{\rm\textordfeminine}}
    5.20  \newcommand{\isasymordmasculine}{\isatext{\rm\textordmasculine}}
    5.21  \newcommand{\isasymsection}{\isatext{\rm\S}}
    5.22 @@ -341,7 +341,7 @@
    5.23  \newcommand{\isasymyen}{\isatext{\yen}}  %requires amssymb
    5.24  \newcommand{\isasymcent}{\isatext{\textcent}}  %requires textcomp
    5.25  \newcommand{\isasymcurrency}{\isatext{\textcurrency}} %requires textcomp
    5.26 -\newcommand{\isasymdegree}{\isatext{\rm\textdegree}}  %requires latin1
    5.27 +\newcommand{\isasymdegree}{\isatext{\rm\textdegree}}  %requires textcomp
    5.28  \newcommand{\isasymamalg}{\isamath{\amalg}}
    5.29  \newcommand{\isasymmho}{\isamath{\mho}}  %requires amssymb
    5.30  \newcommand{\isasymlozenge}{\isamath{\lozenge}}  %requires amssymb