clarified control symbols;
authorwenzelm
Wed Oct 14 14:21:00 2015 +0200 (2015-10-14)
changeset 614378bb17fd2fa81
parent 61436 b8708432ce03
child 61438 151f894984d8
clarified control symbols;
NEWS
etc/symbols
lib/texinputs/isabelle.sty
     1.1 --- a/NEWS	Wed Oct 14 14:15:13 2015 +0200
     1.2 +++ b/NEWS	Wed Oct 14 14:21:00 2015 +0200
     1.3 @@ -59,12 +59,14 @@
     1.4  
     1.5  * Isabelle control symbols for markup and formatting:
     1.6  
     1.7 +  \<^noindent>   \noindent
     1.8    \<^smallskip>   \smallskip
     1.9    \<^medskip>   \medskip
    1.10    \<^bigskip>   \bigskip
    1.11  
    1.12    \<^item>  \item  (itemize)
    1.13 -  \<^enum>  \item  (enumeration)
    1.14 +  \<^enum>  \item  (enumerate)
    1.15 +  \<^descr>  \item  (description)
    1.16  
    1.17  
    1.18  *** Isar ***
     2.1 --- a/etc/symbols	Wed Oct 14 14:15:13 2015 +0200
     2.2 +++ b/etc/symbols	Wed Oct 14 14:21:00 2015 +0200
     2.3 @@ -352,15 +352,18 @@
     2.4  \<open>                 code: 0x002039  group: punctuation  font: IsabelleText  abbrev: <<
     2.5  \<close>                code: 0x00203a  group: punctuation  font: IsabelleText  abbrev: >>
     2.6  \<here>                 code: 0x002302  font: IsabelleText
     2.7 +\<^noindent>            code: 0x0021e4  group: control  font: IsabelleText
     2.8 +\<^smallskip>           code: 0x002508  group: control  font: IsabelleText
     2.9 +\<^medskip>             code: 0x002509  group: control  font: IsabelleText
    2.10 +\<^bigskip>             code: 0x002501  group: control  font: IsabelleText
    2.11 +\<^item>                code: 0x0025aa  group: control  font: IsabelleText
    2.12 +\<^enum>                code: 0x0025b8  group: control  font: IsabelleText
    2.13 +\<^descr>               code: 0x0027a7  group: control  font: IsabelleText
    2.14 +\<^emph>                code: 0x002217  group: control  font: IsabelleText
    2.15 +\<^bold>                code: 0x002759  group: control  font: IsabelleText
    2.16  \<^sub>                 code: 0x0021e9  group: control  font: IsabelleText
    2.17  \<^sup>                 code: 0x0021e7  group: control  font: IsabelleText
    2.18 -\<^bold>                code: 0x002759  group: control  font: IsabelleText
    2.19  \<^bsub>                code: 0x0021d8  group: control_block  font: IsabelleText  abbrev: =_(
    2.20  \<^esub>                code: 0x0021d9  group: control_block  font: IsabelleText  abbrev: =_)
    2.21  \<^bsup>                code: 0x0021d7  group: control_block  font: IsabelleText  abbrev: =^(
    2.22  \<^esup>                code: 0x0021d6  group: control_block  font: IsabelleText  abbrev: =^)
    2.23 -\<^smallskip>           code: 0x002508  group: control
    2.24 -\<^medskip>             code: 0x002509  group: control
    2.25 -\<^bigskip>             code: 0x002501  group: control
    2.26 -\<^item>                code: 0x0025aa  group: control
    2.27 -\<^enum>                code: 0x0025b8  group: control
     3.1 --- a/lib/texinputs/isabelle.sty	Wed Oct 14 14:15:13 2015 +0200
     3.2 +++ b/lib/texinputs/isabelle.sty	Wed Oct 14 14:21:00 2015 +0200
     3.3 @@ -39,11 +39,13 @@
     3.4  \DeclareRobustCommand{\isactrlesup}{\egroup\egroup\endmath\egroup}
     3.5  \newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}}
     3.6  
     3.7 +\def\isactrlnoindent{\noindent}
     3.8  \def\isactrlsmallskip{\smallskip}
     3.9  \def\isactrlmedskip{\medskip}
    3.10  \def\isactrlbigskip{\bigskip}
    3.11  \def\isactrlitem{\item}
    3.12  \def\isactrlenum{\item}
    3.13 +\def\isactrldescr{\item}
    3.14  
    3.15  \newenvironment{isaantiq}{{\isacharat\isacharbraceleft}}{{\isacharbraceright}}
    3.16