summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/metapost/drv/doc/drv-guide.tex
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/metapost/drv/doc/drv-guide.tex')
-rw-r--r--Master/texmf-dist/doc/metapost/drv/doc/drv-guide.tex22
1 files changed, 16 insertions, 6 deletions
diff --git a/Master/texmf-dist/doc/metapost/drv/doc/drv-guide.tex b/Master/texmf-dist/doc/metapost/drv/doc/drv-guide.tex
index 48a7644a517..02d0f8376c0 100644
--- a/Master/texmf-dist/doc/metapost/drv/doc/drv-guide.tex
+++ b/Master/texmf-dist/doc/metapost/drv/doc/drv-guide.tex
@@ -78,9 +78,9 @@ derivation trees with \MP%
\thanks{Feel free to improve! (E.g. by correcting the poor English.)
Last update: \today.}}}
\author{Laurent \textsc{M\'ehats}\\
-{\small\href{mailto:laurent.mehats@gmail.com}
+{\small\href{mailto:laurent.mehats@gmail.com?subject=[drv 0.94]}
{\texttt{laurent.mehats@gmail.com}}}}
-\date{documented version: 0.93}
+\date{documented version: 0.94}
\pagestyle{myheadings}
\renewcommand{\sectionmark}[1]{%
@@ -247,8 +247,10 @@ endfig;
\begin{multicols}{2}
\begin{Verbatim}
beginfig(111)
-jgm 0 "A", "\vdash", "B";
+jgm 0 "A\vdash B";
+jgm 1 "A", "\vdash", "B";
nfr 0 () ("f", 1);
+nfr 1 (0) ("f", 1);
draw drv_tree;
endfig;
\end{Verbatim}
@@ -262,10 +264,10 @@ endfig;
The outputs induced by
\begin{center}
\texttt{jgm 0 "A\tbs{}vdash B";}\qquad and\qquad
-\texttt{jgm 0 "A", "\tbs{}vdash", "B";}
+\texttt{jgm 1 "A", "\tbs{}vdash", "B";}
\end{center}
are the same. Using the latter declaration, you can manipulate sub-judgments
-independently from each-other (see \S~\ref{sec-components}).
+independently from each-other (see \S~\ref{sec-inside}).
%
%
\paragraph{Inference line styles}
@@ -1214,7 +1216,7 @@ respect to a particular inference, judgment or sub-tree.\\[1ex]
\begin{Verbatim}[commandchars=\\\{\}]
beginfig(420)
Dcl 0 ( ) ("", "", "", _) "a";
-Dcl 1 (0) ("", "{}", "", _) "b";
+Dcl 1 (0) ("", "\{\}", "", _) "b";
draw drv_tree;
drv_axis (iln, 0);
\resplap{}drv_axis (jdg, 1);
@@ -1837,6 +1839,10 @@ the \textsc{png} file you get is not transparent.
{\texttt{bussproofs.sty}}
(Samuel R. \textsc{Buss});
\item
+\href{http://cristal.inria.fr/~remy/latex/}
+{\texttt{mathpartir.sty}}
+(Didier \textsc{R\'emy});
+\item
\href{http://research.nii.ac.jp/~tatsuta/proof-sty.html}
{\texttt{proof.sty}}
(Makoto \textsc{Tatsuta});
@@ -1854,6 +1860,10 @@ metapost/contrib/macros/metaobj/}{\texttt{metaobj.mp}}
{\texttt{semantic.sty}}
(Peter M\o ller \textsc{Neergaard} \& Arne John \textsc{Glenstrup});
\item
+\href{http://www.utdallas.edu/~hamlen/projects.html}
+{\texttt{trfrac.sty}}
+(Kevin W. \textsc{Hamlen});
+\item
\href{http://alessio.guglielmi.name/res/vl/}
{\texttt{virginialake.sty}}
(Alessio \textsc{Guglielmi}).