more robust treatment of suppressed quotes concerning replacement text -- for improved copy/paste behaviour;
authorwenzelm
Mon Nov 08 11:28:22 2010 +0100 (2010-11-08)
changeset 404072ff10e613689
parent 40406 313a24b66a8d
child 40441 0813106a699d
more robust treatment of suppressed quotes concerning replacement text -- for improved copy/paste behaviour;
doc-src/isabelle.sty
doc-src/pdfsetup.sty
lib/texinputs/isabelle.sty
     1.1 --- a/doc-src/isabelle.sty	Mon Nov 08 00:00:47 2010 +0100
     1.2 +++ b/doc-src/isabelle.sty	Mon Nov 08 11:28:22 2010 +0100
     1.3 @@ -96,6 +96,7 @@
     1.4  }
     1.5  
     1.6  \newcommand{\isaliteral}[2]{#2}
     1.7 +\newcommand{\isanil}{}
     1.8  
     1.9  
    1.10  % keyword and section markup
    1.11 @@ -148,9 +149,9 @@
    1.12  \renewcommand{\isastylescript}{\footnotesize\it}%
    1.13  \renewcommand{\isacharunderscorekeyword}{\mbox{-}}%
    1.14  \renewcommand{\isacharbang}{\isamath{!}}%
    1.15 -\renewcommand{\isachardoublequote}{}%
    1.16 -\renewcommand{\isachardoublequoteopen}{}%
    1.17 -\renewcommand{\isachardoublequoteclose}{}%
    1.18 +\renewcommand{\isachardoublequote}{\isanil}%
    1.19 +\renewcommand{\isachardoublequoteopen}{\isanil}%
    1.20 +\renewcommand{\isachardoublequoteclose}{\isanil}%
    1.21  \renewcommand{\isacharhash}{\isamath{\#}}%
    1.22  \renewcommand{\isachardollar}{\isamath{\$}}%
    1.23  \renewcommand{\isacharpercent}{\isamath{\%}}%
     2.1 --- a/doc-src/pdfsetup.sty	Mon Nov 08 00:00:47 2010 +0100
     2.2 +++ b/doc-src/pdfsetup.sty	Mon Nov 08 11:28:22 2010 +0100
     2.3 @@ -13,11 +13,11 @@
     2.4  \gdef\bold#1{\textbf{\hyperpage{#1}}}
     2.5  
     2.6  \urlstyle{rm}
     2.7 -
     2.8  \ifpdf\relax\else\renewcommand{\url}[1]{\nolinkurl{#1}}\fi
     2.9  
    2.10  \ifpdf
    2.11  \ifnum\pdfminorversion<5\pdfminorversion=5\fi
    2.12  \renewcommand{\isaliteral}[2]{%
    2.13  \pdfliteral direct{/Span <</ActualText<#1>>> BDC}#2\pdfliteral direct{EMC}}
    2.14 +\renewcommand{\isanil}{{\color{white}.}}
    2.15  \fi
     3.1 --- a/lib/texinputs/isabelle.sty	Mon Nov 08 00:00:47 2010 +0100
     3.2 +++ b/lib/texinputs/isabelle.sty	Mon Nov 08 11:28:22 2010 +0100
     3.3 @@ -96,6 +96,7 @@
     3.4  }
     3.5  
     3.6  \newcommand{\isaliteral}[2]{#2}
     3.7 +\newcommand{\isanil}{}
     3.8  
     3.9  
    3.10  % keyword and section markup
    3.11 @@ -148,9 +149,9 @@
    3.12  \renewcommand{\isastylescript}{\footnotesize\it}%
    3.13  \renewcommand{\isacharunderscorekeyword}{\mbox{-}}%
    3.14  \renewcommand{\isacharbang}{\isamath{!}}%
    3.15 -\renewcommand{\isachardoublequote}{}%
    3.16 -\renewcommand{\isachardoublequoteopen}{}%
    3.17 -\renewcommand{\isachardoublequoteclose}{}%
    3.18 +\renewcommand{\isachardoublequote}{\isanil}%
    3.19 +\renewcommand{\isachardoublequoteopen}{\isanil}%
    3.20 +\renewcommand{\isachardoublequoteclose}{\isanil}%
    3.21  \renewcommand{\isacharhash}{\isamath{\#}}%
    3.22  \renewcommand{\isachardollar}{\isamath{\$}}%
    3.23  \renewcommand{\isacharpercent}{\isamath{\%}}%