summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/ebproof/ebproof.tex
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2015-03-22 21:22:17 +0000
committerKarl Berry <karl@freefriends.org>2015-03-22 21:22:17 +0000
commit03b72ee35aae655a0458e281a82a09efbcec318f (patch)
tree5b1b1747757015c9a41bcc189e730ad59673a364 /Master/texmf-dist/doc/latex/ebproof/ebproof.tex
parente764d74939c2f6a637c75a3c5c87068f275d2678 (diff)
ebproof (22mar15)
git-svn-id: svn://tug.org/texlive/trunk@36595 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/ebproof/ebproof.tex')
-rw-r--r--Master/texmf-dist/doc/latex/ebproof/ebproof.tex64
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}