Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/LaTeXmacros/common.tex

    r9724df0 r45576af9  
    1111%% Created On       : Sat Apr  9 10:06:17 2016
    1212%% Last Modified By : Peter A. Buhr
    13 %% Last Modified On : Mon Jun 20 09:35:20 2016
    14 %% Update Count     : 178
     13%% Last Modified On : Fri Jun 10 16:35:25 2016
     14%% Update Count     : 101
    1515%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    1616
    … …  
    2323\renewcommand{\floatpagefraction}{0.8}  % float must be greater than X of the page before it is forced onto its own page
    2424\renewcommand{\textfraction}{0.0}       % the entire page maybe devoted to floats with no text on the page at all
    25 
    26 \lefthyphenmin=4
    27 \righthyphenmin=4
    28 
    2925\usepackage{pslatex}                            % reduce size of san serif font
    30 
    31 \usepackage[ignoredisplayed]{enumitem}  % do not affect trivlist
    32 \setlist{labelsep=1ex}% global
    33 \setlist[itemize]{topsep=0.5ex,parsep=0.25ex,itemsep=0.25ex,listparindent=\parindent,leftmargin=\parindent}% global
    34 \setlist[itemize,1]{label=\textbullet}% local
    35 %\renewcommand{\labelitemi}{{\raisebox{0.25ex}{\footnotesize$\bullet$}}}
    36 \setlist[enumerate]{listparindent=\parindent}% global
    37 \setlist[enumerate,2]{leftmargin=\parindent,labelsep=*,align=parleft,label=\alph*.}% local
    38 \setlist[description]{listparindent=\parindent,leftmargin=\parindent,labelsep=*}
    3926
    4027% Names used in the document.
    … …  
    4229\newcommand{\CFA}{C$\mathbf\forall$\xspace}              % set language symbolic name
    4330\newcommand{\CFL}{Cforall\xspace}                        % set language text name
    44 \newcommand{\CC}{\rm C\kern-.1em\hbox{+\kern-.25em+}\xspace} % CC symbolic name
     31\newcommand{\CC}{C\kern-.1em\hbox{+\kern-.25em+}\xspace} % CC symbolic name
    4532\def\c11{ISO/IEC C} % C11 name (cannot have numbers in latex command name)
    4633
    … …  
    4835
    4936\makeatletter
    50 % parindent is relative, i.e., toggled on/off in environments like itemize, so store the value for
    51 % use rather than use \parident directly.
    52 \newlength{\parindentlnth}
    53 \setlength{\parindentlnth}{\parindent}
     37% parindent is relative, i.e., toggled on/off in environments like itemize,
     38% so store the value for use rather than use \parident directly.
     39\newlength{\parindentlength}
     40\setlength{\parindentlength}{\parindent}
    5441
    5542% allow escape sequence in lstinline
    5643%\usepackage{etoolbox}
    5744%\patchcmd{\lsthk@TextStyle}{\let\lst@DefEsc\@empty}{}{}{\errmessage{failed to patch}}
     45
     46% make fontsize "small" slightly larger, specifically for san serif (helvetica) in program code
     47%\renewcommand\small{%
     48%   \@setfontsize\small{8.5}{11}%
     49%   \abovedisplayskip 8.5pt \@plus 3pt \@minus 4pt
     50%   \abovedisplayshortskip \z@ \@plus 2pt
     51%   \belowdisplayshortskip 4pt \@plus 2pt \@minus 2pt
     52%   \def\@listi{\leftmargin\leftmargini
     53%               \topsep 4pt \@plus 2pt \@minus 2pt
     54%               \parsep 2pt \@pluspt \@minuspt
     55%               \itemsep \parsep}%
     56%   \belowdisplayskip \abovedisplayskip
     57%}
    5858
    5959\usepackage{pslatex}                                                                    % reduce size of san serif font
    … …  
    9191\newcommand{\see}[1]{\emph{see} #1}
    9292
     93% reduce bullet size and spacing for "itemize" macro
     94\renewcommand{\labelitemi}{{\raisebox{0.25ex}{\footnotesize$\bullet$}}}
     95\renewenvironment{itemize}{\begin{list}{\labelitemi}{\topsep=5pt\itemsep=5pt\parsep=0pt}}{\end{list}}
     96
    9397% Define some commands that produce formatted index entries suitable for cross-references.
    9498% ``\spec'' produces entries for specifications of entities.  ``\impl'' produces entries for their
    … …  
    136140}% quote2
    137141\newenvironment{rationale}{%
    138   \begin{quote2}\noindent$\Box$\enspace
     142  \begin{quotation}\noindent$\Box$\enspace
    139143}{%
    140   \hfill\enspace$\Box$\end{quote2}
     144  \hfill\enspace$\Box$\end{quotation}
    141145}%
    142146
    … …  
    150154
    151155% BNF macros
    152 \newenvironment{syntax}{
    153 \paragraph{Syntax}
    154 \begin{quote2}
    155 \begin{description}[noitemsep,leftmargin=\parindentlnth]
    156 }{
    157 \end{description}
    158 \end{quote2}
    159 }
    160 % \def\syntax{\paragraph{Syntax}\trivlist\parindent=.5in\item[\hskip.5in]}
    161 %\let\endsyntax=\endtrivlist
    162 \newcommand{\lhs}[1]{\item[\emph{#1:}\index{#1@{\emph{#1}}|italic}]~\ignorespaces}
    163 \newcommand{\oldlhs}[1]{\item[\emph{#1:}\index{#1@{\emph{#1}}|italic}~\dots]~}
    164 \newcommand{\rhs}{\hfil\newline}
    165 \newcommand{\nonterm}[1]{\emph{#1}\index{#1@{\emph{#1}}|italic}}
     156\def\syntax{\paragraph{Syntax}\trivlist\parindent=.5in\item[\hskip.5in]}
     157\let\endsyntax=\endtrivlist
     158\newcommand{\lhs}[1]{\par{\emph{#1:}}\index{#1@{\emph{#1}}|italic}}
     159\newcommand{\rhs}{\hfil\break\hbox{\hskip1in}}
     160\newcommand{\oldlhs}[1]{\emph{#1: \dots}\index{#1@{\emph{#1}}|italic}}
     161\newcommand{\nonterm}[1]{\emph{#1\/}\index{#1@{\emph{#1}}|italic}}
    166162\newcommand{\opt}{$_{opt}$\ }
    167163
    … …  
    208204stringstyle=\tt,
    209205tabsize=4,
    210 xleftmargin=\parindentlnth,
     206xleftmargin=\parindentlength,
    211207extendedchars=true,
    212208escapechar=§,
Note: See TracChangeset for help on using the changeset viewer.