some control symbols for markup and formatting;
authorwenzelm
Mon Oct 12 17:10:36 2015 +0200 (2015-10-12)
changeset 61405d2ce32c5793a
parent 61404 a433fecc5ce2
child 61406 eb2463fc4d7b
some control symbols for markup and formatting;
NEWS
etc/symbols
lib/texinputs/isabelle.sty
     1.1 --- a/NEWS	Mon Oct 12 17:06:49 2015 +0200
     1.2 +++ b/NEWS	Mon Oct 12 17:10:36 2015 +0200
     1.3 @@ -55,6 +55,18 @@
     1.4  requirements of prover time and GUI space.
     1.5  
     1.6  
     1.7 +*** Document preparation ***
     1.8 +
     1.9 +* Isabelle control symbols for markup and formatting:
    1.10 +
    1.11 +  \<^smallskip>   \smallskip
    1.12 +  \<^medskip>   \medskip
    1.13 +  \<^bigskip>   \bigskip
    1.14 +
    1.15 +  \<^item>  \item  (itemize)
    1.16 +  \<^enum>  \item  (enumeration)
    1.17 +
    1.18 +
    1.19  *** Isar ***
    1.20  
    1.21  * Command 'obtain' binds term abbreviations (via 'is' patterns) in the
     2.1 --- a/etc/symbols	Mon Oct 12 17:06:49 2015 +0200
     2.2 +++ b/etc/symbols	Mon Oct 12 17:10:36 2015 +0200
     2.3 @@ -359,3 +359,8 @@
     2.4  \<^esub>                code: 0x0021d9  group: control_block  font: IsabelleText  abbrev: =_)
     2.5  \<^bsup>                code: 0x0021d7  group: control_block  font: IsabelleText  abbrev: =^(
     2.6  \<^esup>                code: 0x0021d6  group: control_block  font: IsabelleText  abbrev: =^)
     2.7 +\<^smallskip>           code: 0x002508  group: control
     2.8 +\<^medskip>             code: 0x002509  group: control
     2.9 +\<^bigskip>             code: 0x002501  group: control
    2.10 +\<^item>                code: 0x0025aa  group: control
    2.11 +\<^enum>                code: 0x0025b8  group: control
     3.1 --- a/lib/texinputs/isabelle.sty	Mon Oct 12 17:06:49 2015 +0200
     3.2 +++ b/lib/texinputs/isabelle.sty	Mon Oct 12 17:10:36 2015 +0200
     3.3 @@ -39,6 +39,12 @@
     3.4  \DeclareRobustCommand{\isactrlesup}{\egroup\egroup\endmath\egroup}
     3.5  \newcommand{\isactrlbold}[1]{{\bfseries\upshape\boldmath#1}}
     3.6  
     3.7 +\def\isactrlsmallskip{\smallskip}
     3.8 +\def\isactrlmedskip{\medskip}
     3.9 +\def\isactrlbigskip{\bigskip}
    3.10 +\def\isactrlitem{\item}
    3.11 +\def\isactrlenum{\item}
    3.12 +
    3.13  \newenvironment{isaantiq}{{\isacharat\isacharbraceleft}}{{\isacharbraceright}}
    3.14  
    3.15  \newdimen\isa@parindent\newdimen\isa@parskip