diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/ebproof/ebproof.tex')
-rw-r--r-- | Master/texmf-dist/doc/latex/ebproof/ebproof.tex | 64 |
1 files changed, 51 insertions, 13 deletions
diff --git a/Master/texmf-dist/doc/latex/ebproof/ebproof.tex b/Master/texmf-dist/doc/latex/ebproof/ebproof.tex index acb05d56759..194a02827b0 100644 --- a/Master/texmf-dist/doc/latex/ebproof/ebproof.tex +++ b/Master/texmf-dist/doc/latex/ebproof/ebproof.tex @@ -1,10 +1,27 @@ +%% ebproof.sty +%% Copyright 2015 Emmanuel Beffara <manu@beffara.org> +% +% This work may be distributed and/or modified under the +% conditions of the LaTeX Project Public License, either version 1.3 +% of this license or (at your option) any later version. +% The latest version of this license is in +% http://www.latex-project.org/lppl.txt +% and version 1.3 or later is part of all distributions of LaTeX +% version 2005/12/01 or later. +% +% This work has the LPPL maintenance status `maintained'. +% +% The Current Maintainer of this work is Emmanuel Beffara. +% +% This work consists of the files ebproof.sty and ebproof.tex. + \documentclass{article} \DeclareRobustCommand\package[1]{\texttt{#1}} \title{The \package{ebproof} package} \author{Emmanuel Beffara \\ \url{manu@beffara.org}} -\date{Version 1.0 \\ February 3, 2015} +\date{Version 1.1 \\ March 13, 2015} \usepackage{amssymb} \usepackage{color} @@ -440,24 +457,24 @@ following command: \subsection{Format of conclusions} \begin{csdoc}{% - \opt{template=}\meta{macro} \\ - \opt{left template=}\meta{macro} \\ - \opt{right template=}\meta{macro}} + \opt{template=}\meta{code} \\ + \opt{left template=}\meta{code} \\ + \opt{right template=}\meta{code}} Defines how conclusions are formatted. - The macros are arbitrary \TeX\ code, composed in horizontal mode, with the - macro argument \verb|#1| standing for the actual text passed to the + The code is arbitrary \TeX\ code, composed in horizontal mode. + The macro \cs{inserttext} can be used inside the actual text passed to the \cs{Hypo} and \cs{Infer} statements. The \opt{template} value is used for conclusions with no alignment mark. The \opt{left template} and \opt{right template} values are used on the left and right side of the alignment mark when it is present. - The default value for \opt{template} is simply \verb|$#1$|, so that + The default value for \opt{template} is simply \verb|$\inserttext$|, so that conclusions are set in math mode. The default values for \opt{left template} and \opt{right template} are similar, with spacing assuming that a relation symbol is put near the alignment mark, so that \verb|\Infer1{A &\vdash B}| is spaced correctly. \begin{example}{gobble=4} - \begin{prooftree}[template=(\textbf{#1})] + \begin{prooftree}[template=(\textbf\inserttext)] \Hypo{ foo } \Hypo{ bar } \Infer1{ baz } @@ -477,11 +494,14 @@ following command: the \env{right label} option with the value of that argument. \end{csdoc} \begin{csdoc}{% - \opt{left label template=}\meta{macro} \\ - \opt{right label template=}\meta{macro}} - These macros are used to typeset the text of labels on the left and right of - inference lines. - The default values are \verb|#1| so that labels are set in plain text mode. + \opt{left label template=}\meta{code} \\ + \opt{right label template=}\meta{code}} + Defines how rule labels are formatted. + The code is arbitrary \TeX\ code, composed in horizontal mode. + The macro \cs{inserttext} can be used to insert the actual label text, as + defined by the options above. + The default values are simply \cs{inserttext} so that labels are set in + plain text mode. \end{csdoc} \begin{csdoc}{\opt{label separation=}\meta{dimension}} @@ -490,4 +510,22 @@ following command: \end{csdoc} +\section{License} + +This work may be distributed and/or modified under the +conditions of the \LaTeX\ Project Public License, either version 1.3 +of this license or (at your option) any later version. +The latest version of this license is in +\begin{center} + \url{http://www.latex-project.org/lppl.txt} +\end{center} +and version 1.3 or later is part of all distributions of \LaTeX\ +version 2005/12/01 or later. + +This work has the LPPL maintenance status `maintained'. + +The Current Maintainer of this work is Emmanuel Beffara. + +This work consists of the files \texttt{ebproof.sty} and \texttt{ebproof.tex}. + \end{document} |