summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
authorManuel Pégourié-Gonnard <mpg@elzevir.fr>2008-04-05 17:35:29 +0000
committerManuel Pégourié-Gonnard <mpg@elzevir.fr>2008-04-05 17:35:29 +0000
commit95d9bfc84f798b8e5bf56ee19fa3ac42bc4d1649 (patch)
treea710fca8c2ead4464a074c78db93b341ccdf4fa9 /Master
parentc8513704ba0fb1c1ee8003e6f554972f43031a0e (diff)
sdrt v1.0
git-svn-id: svn://tug.org/texlive/trunk@7324 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rw-r--r--Master/texmf-dist/tex/latex/sdrt/sdrt.sty14
1 files changed, 8 insertions, 6 deletions
diff --git a/Master/texmf-dist/tex/latex/sdrt/sdrt.sty b/Master/texmf-dist/tex/latex/sdrt/sdrt.sty
index 419320811e2..f64f6f9303c 100644
--- a/Master/texmf-dist/tex/latex/sdrt/sdrt.sty
+++ b/Master/texmf-dist/tex/latex/sdrt/sdrt.sty
@@ -16,10 +16,12 @@
%% Enjoy! %%
%% %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
+\NeedsTeXFormat{LaTeX2e}
+\ProvidesPackage{sdrt}[2008/04/02 Package for typesetting Discourse Representation Theory and formal semantics in general]
\RequirePackage{ifthen}
\RequirePackage{xyling}
+\RequirePackage{xytree}%This package is needed, otherwise there's trouble with the trees... but I dont know why!
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%The \lab[]{} command and all its variants%
@@ -115,9 +117,9 @@
%\(P)SDRS%
%%%%%%%%%%
-\newcommand{\SDRS}[3][]
-{\ifthenelse{\equal{#1}{}}{\ensuremath
- {
+\newcommand{\SDRS}[3][none]
+{\ifthenelse{\equal{#1}{none}}{\ensuremath
+ {\hspace{2ex}
\begin{array}{|l|}
\hline
~ \vspace{-2.5ex}\\
@@ -132,7 +134,7 @@
}
}
{\ensuremath
- {#1: \hspace{-3pt}
+ {#1: \hspace{-.5ex}
\begin{array}{|l|}
\hline
~ \vspace{-2.5ex}\\
@@ -148,7 +150,7 @@
}
%Presupposed versions
-\newcommand{\PSDRS}[3][]{\ifthenelse{\equal{#1}{}}{\ensuremath{\partial\left(\; \SDRS{#2}{#3}\; \right)}}{\ensuremath{#1: \partial\left(\; \SDRS{#2}{#3}\; \right)}}}
+\newcommand{\PSDRS}[3][none]{\ifthenelse{\equal{#1}{none}}{\ensuremath{\partial\left(\; \hspace{-2ex}\SDRS{#2}{#3}\; \right)}}{\ensuremath{#1: \partial\left(\; \SDRS{#2}{#3}\; \right)}}}
\newcommand{\pres}[1]{\ensuremath{\partial(#1)}}
%%%%%%%