diff options
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.tex | 22 |
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}). |