grundgesetze (26apr21)

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

1 files changed, 38 insertions, 35 deletions

diff --git a/Master/texmf-dist/source/latex/grundgesetze/grundgesetze.dtx b/Master/texmf-dist/source/latex/grundgesetze/grundgesetze.dtx
index 84005cb1daa..f1b7b86e9a7 100644
--- a/Master/texmf-dist/source/latex/grundgesetze/grundgesetze.dtx
+++ b/Master/texmf-dist/source/latex/grundgesetze/grundgesetze.dtx
@@ -3,14 +3,18 @@
 % grundgesetze: LaTeX2e package for typesetting begriffsschrift
 % in the of Gottlob Frege's _Grundgesetze der Arithmetik_ (Jena 1893/1903)
 %
-% Copyright (C) 2003-2014 by Josh Parsons <josh.parsons@ccc.ox.ac.uk>,
+% Copyright (C) 2003-2021 by Josh Parsons <josh.parsons@ccc.ox.ac.uk>,
 % Marcus Rossberg <marcus.rossberg@uconn.edu>,
 % J.J. Green <j.j.green@gmx.co.uk>,
-% Richard G. Heck, Jr. <richard_heck@brown.edu>,
+% Richard Kimberly Heck <richard_heck@brown.edu>,
 % and Agust’n Rayo <arayo@mit.edu>
 %
 % This package is based on begriff.sty, originally written by 
 % Josh Parsons in 2003, 2005.
+%
+% New in this update (Marcus Rossberg, 2021-04-26):   
+% \baselineskip in \GGconditional replaced by \normalbaselineskip
+% to allow use in tabular and array environments
 % 
 % This program is free software; you can redistribute it and/or modify
 % it under the terms of the GNU General Public License as published by
@@ -50,15 +54,16 @@
 %
 %<package>\NeedsTeXFormat{LaTeX2e}
 %<package>\ProvidesPackage{grundgesetze}
-%<package>  [2014/06/16 1.02 grundgesetze package]
+%<package>[2021/04/26 v1.03 grundgesetze package]
 %
 %<*driver>
-\documentclass[a4paper,10pt,draft]{ltxdoc}
+\documentclass[a4paper,10pt]{ltxdoc}
 \OnlyDescription  % <- comment out to include style code listing at the end of the document
 \usepackage[bguq=5]{grundgesetze}
 % \usepackage{grundgesetze}
 \usepackage{begriff}
 \usepackage{fge}
+\usepackage{hyperref}
 \usepackage{amsfonts}
 \usepackage{amstext}
 \usepackage{amsmath}
@@ -82,28 +87,27 @@
 % \setcounter{StandardModuleDepth}{1}
 %
 % \noindent
-% \emph{Grundgesetze.sty} is a \LaTeX2e\ package for typesetting 
-% Gottlob Frege's \emph{begriffs\-schrift} [concept-script] formalism 
+% \emph{grundgesetze.sty} is a \LaTeX2e\ package for typesetting 
+% formulae in Gottlob Frege's \emph{begriffsschrift} [concept-script]  
 % in the style of his \emph{Grundgesetze der Arithmetik} 
-% (1893/1903). \emph{Grundgesetze.sty} was developed for the 2013 English  
+% (Jena 1893/1903). The package was developed for the 2013 English  
 % edition.\footnote{Gottlob Frege: \emph{Basic Laws of Arithmetic}. 
-% Translated and edited by Philip A. Ebert and Marcus Rossberg. Oxford 2013.}
+% Translated and edited by Philip A.\ Ebert and Marcus Rossberg. Oxford 2013.}
 % The package is based on Josh Parsons's \emph{begriff.sty} which renders 
 % the formalism in the style of Frege's earlier work, 
-% \emph{Begriffsschrift} (1879). It was amended by Richard~G.~Heck~Jr., 
-% J.\,J.~Green, Agust\'in~Rayo, and Marcus~Rossberg. Thanks to 
-% Philip Ebert for testing and suggestions. Note that Frege's 
+% \emph{Begriffsschrift} (Halle a.S.\ 1879). It was amended by Richard Kimberly Heck, 
+% J.J.\ Green, Agust\'in Rayo, and Marcus Rossberg. Thanks to 
+% Philip Ebert and Sanford Shieh for testing and suggestions.  Frege's 
 % defined function symbols are not rendered by this package, but 
-% by J.\,J.~Green's \emph{fge.sty}.
+% by J.J.\ Green's \emph{fge.sty}.
 %
 % \section{Options}
 %
 % At present the only package option is |bguq|, which causes the package
-% to use the |bguq| font for an alternative universal quantifier 
-% (concavity), and this option accepts a value (being the size to be used,
-% as in |bguq=6|, the default being 5).  Of course, one must have the 
-% |bguq| font installed to use this option, but it is included in recent 
-% versions of the big \TeX\ distributions.
+% to use the |bguq| font for an alternative universal quantifier (concavity),
+% and this option accepts a value (corresponding to the size to be used,
+% as in |bguq=6|; default is 5).  The |bguq| font is required for this
+% option. It is included in recent versions of the big \TeX\ distributions.
 %
 % \section{Basic Commands}
 % 
@@ -114,13 +118,12 @@
 %   The negation-stroke, $\GGnot$
 %
 % \DescribeMacro{\GGconditional}  
-%   Conditional-stroke: called as |\GGconditional{p}{q}}| yields
-%   $\GGconditional{p}{q}$ (i.e., `$p\supset q$')
+%   Conditional-stroke: called as |\GGconditional{p}{q}| yields
+%   $\GGconditional{p}{q}$ 
 %
 % \DescribeMacro{\GGquant} 
 %   Concavity: called as |\GGquant{\mathfrak a}| gives 
-%   $\GGquant{\mathfrak a}$ (i.e., universal quantifier, 
-%   `$\mathfrak{a}$' is the quantified variable)
+%   $\GGquant{\mathfrak a}$ 
 %
 % \DescribeMacro{\GGjudge}
 %   Judgement-stroke, $\GGjudge$
@@ -130,7 +133,7 @@
 %
 % \DescribeMacro{\GGbracket}
 %   Automatically scaling brackets, |\GGbracket{\ldots}| yields 
-%  $\GGbracket{\ldots}$ (see examples)
+%  $\GGbracket{\ldots}$ (see examples below)
 %
 % \DescribeMacro{\GGsqbracket}
 %   Analogous square brackets, $\GGsqbracket{\ldots}$
@@ -187,8 +190,8 @@
 %
 % \end{itemize}
 %
-% There are further examples, including Frege's basic laws of logic, 
-% available for download on \texttt{www.frege.info}.
+% There are further examples, including Frege's six basic laws of logic, 
+% available for download on \url{http://www.frege.info/}.
 %
 %
 % \section{Advanced Typesetting}
@@ -283,16 +286,16 @@
 % determined by adding up the lengths 
 % of the embedded symbols, as given in Table~\ref{table:embedded},
 % or by using a GUI that allows producing \LaTeX\ and XML code for 
-% \emph{begriffsschrift} formulae via mouse-click and that will 
-% calculate and output the correct values. The GUI is available for 
-% download on \texttt{www.frege.info}.
+% \emph{begriffsschrift} formulae by mouse-click. The GUI will 
+% calculate and output the correct values. It is available for 
+% download on \url{http://www.frege.info/}.
 %
 % \subsection{Adding horizontal lengths manually: 
 % \texttt{\textbackslash GGnonot}, etc.}
 %
 % Readability is sometimes aided by moving, e.g., negations to the 
 % right end of the horizontal in a complex formula. For instance, 
-% Frege nearly always preferred the rendering displayed on the right  
+% Frege nearly always prefers the rendering displayed on the right  
 % in these types of formulae:
 % 
 % \begin{center}
@@ -322,7 +325,7 @@
 % The right-hand formulae are produced by inserting commands 
 % for horizontals of the appropriate length directly at the 
 % position where the ``space'' should appear. The three  
-% right-hand formulae above are created in this way:
+% right-hand formulae above are created thus, respectively:
 % \begin{itemize}
 % \item[(a)] \begin{verbatim}\GGjudge \GGconditional
 %       {\GGquant{\mathfrak a} \GGnot f(\mathfrak a)}
@@ -340,7 +343,7 @@
 % 
 % Josh Parsons's \emph{begriff.sty}, on which \emph{grundgesetze.sty} 
 % is based, is closer in appearance to Frege's formalism as it is 
-% presented in Frege's first book, \emph{Begriffs\-schrift} (1879). 
+% presented in Frege's first book, \emph{Begriffs\-schrift} (Halle a.S.\ 1879). 
 % The corresponing commands were given different names so that both 
 % pack\-ages can be used in the same \TeX~document; see Table~\ref{table:compat}.
 %
@@ -414,8 +417,8 @@
 %
 % A straightforward way to convert the a \LaTeX\ document that uses 
 % \emph{begriff.sty} into one that uses \emph{grundgesetze.sty} without 
-% manually exchanging the commands is to find and replace (using wrap 
-% search) ``|\BG|" by ``|\GG|". Synonyms have been added to 
+% manually exchanging the commands is to find and replace  
+% ``|\BG|" by ``|\GG|". Synonyms have been added to 
 % \emph{grundgesetze.sty} to allow the use of all \emph{begriff.sty} 
 % commands ``translated" in this way (see Table~\ref{table:allmacros}).
 %
@@ -590,7 +593,7 @@
 %
 % \subsection{The main part of the code}
 %    \begin{macrocode} 
-\typeout{Grundgesetze Begriffsschrift: June 2014}
+\typeout{Grundgesetze Begriffsschrift: April 2021}
 \ifx\grundgesetze@bguq\@empty
   \typeout{Universal quantifier by qbezier}
 \else
@@ -648,7 +651,7 @@
 \setbox0=\hbox{%
 \addtolength{\GGlinewidth}{-\GGafterlen}%
 \raisebox{\GGlift}{%
-\vrule height 0.49\baselineskip depth 0.425\baselineskip width 0pt
+\vrule height 0.49\normalbaselineskip depth 0.425\normalbaselineskip width 0pt
 \vrule height \GGthickness width \GGafterlen depth 0pt
 }%
 \ensuremath{\hskip\GGspace #1}%
@@ -657,7 +660,7 @@
 \addtolength{\GGlinewidth}{-\GGafterlen}%
 % strut -- depth of conditional here!
 \raisebox{\GGlift}{%
-\vrule height 0pt depth 0.425\baselineskip width 0pt%
+\vrule height 0pt depth 0.425\normalbaselineskip width 0pt%
 \vrule height \GGthickness width \GGafterlen depth 0pt}%
 \ensuremath{\hskip\GGspace #2}%
 }%