grundgesetze

git-svn-id: svn://tug.org/texlive/trunk@34439 c570f23f-e606-0410-a88d-b1316a301751

1 files changed, 24 insertions, 17 deletions

diff --git a/Master/texmf-dist/tex/latex/grundgesetze/grundgesetze.sty b/Master/texmf-dist/tex/latex/grundgesetze/grundgesetze.sty
index 1e72c1ad1ad..13eb68d4ca8 100644
--- a/Master/texmf-dist/tex/latex/grundgesetze/grundgesetze.sty
+++ b/Master/texmf-dist/tex/latex/grundgesetze/grundgesetze.sty
@@ -23,7 +23,7 @@
 %%   Right brace   \}     Tilde         \~}
 \NeedsTeXFormat{LaTeX2e}
 \ProvidesPackage{grundgesetze}
-  [2014/03/22 1.01 grundgesetze package]
+  [2014/06/16 1.02 grundgesetze package]
 %% \end{itemize}
 \newlength{\GGthickness}
 \setlength{\GGthickness}{0.4pt}
@@ -39,13 +39,20 @@
 \setlength{\GGlift}{2pt}
 \newlength{\GGlinewidth}
 \setlength{\GGlinewidth}{\linewidth}
-\RequirePackage{ifthen}
-\newboolean{bguq}
-\setboolean{bguq}{false}
-\DeclareOption{bguq}{\setboolean{bguq}{true}}
-\ProcessOptions
-\ifthenelse{\boolean{bguq}}{\RequirePackage[5]{bguq}}{}%
-\typeout{Grundgesetze Begriffsschrift: November 2013}
+\RequirePackage{kvoptions}
+\SetupKeyvalOptions{family=grundgesetze,prefix=grundgesetze@}
+\DeclareStringOption{bguq}[5]
+\ProcessKeyvalOptions{grundgesetze}
+\ifx\grundgesetze@bguq\@empty
+\else
+  \RequirePackage[\grundgesetze@bguq]{bguq}
+\fi
+\typeout{Grundgesetze Begriffsschrift: June 2014}
+\ifx\grundgesetze@bguq\@empty
+  \typeout{Universal quantifier by qbezier}
+\else
+  \typeout{Universal quantifier by bguq at size \grundgesetze@bguq}
+\fi
 \newcommand{\GGbracket}[1]{%
 \setbox0=\hbox{\ensuremath{#1}}%
 \dimen0=0.5\dp0%
@@ -233,14 +240,7 @@
 \hbox{%
 \raisebox{\GGlift}{%
 \vrule width \GGbeforelen height \GGthickness depth 0pt%
-\ifthenelse{\boolean{bguq}}{% using bguq
-  \ensuremath\bguq
-  \kern-\bguqwidth
-  \vbox{%
-    \hbox to \bguqwidth%
-          {\hfill$\scriptstyle{#1}$\hfill}%
-    \vskip1pt}%
-}{% using qbezier
+\ifx\grundgesetze@bguq\@empty% use qbezier
   \setlength{\unitlength}{1pt}%
   \kern-\GGthickness%
   \begin{picture}(8,0)(0,0)%
@@ -253,7 +253,14 @@
   \vbox{%
   \hbox to 8pt {\hskip1pt\hskip\GGthickness\hss$_{#1}$\hss}\vskip1pt
   }%
-}%
+\else% use the bguq font
+  \ensuremath\bguq
+  \kern-\bguqwidth
+  \vbox{%
+    \hbox to \bguqwidth%
+          {\hfill$\scriptstyle{#1}$\hfill}%
+    \vskip1pt}%
+\fi
 \vrule width \GGafterlen height \GGthickness depth 0pt}%
 }%
 \hskip\GGspace%