From 95b070aee1a6351879af117f723c84d50b48338d Mon Sep 17 00:00:00 2001 From: Norbert Preining Date: Tue, 27 Apr 2021 03:00:54 +0000 Subject: CTAN sync 202104270300 --- macros/latex/contrib/grundgesetze/README | 4 +- macros/latex/contrib/grundgesetze/grundgesetze.dtx | 73 +++++++++++---------- macros/latex/contrib/grundgesetze/grundgesetze.pdf | Bin 224805 -> 226629 bytes 3 files changed, 40 insertions(+), 37 deletions(-) (limited to 'macros/latex/contrib/grundgesetze') diff --git a/macros/latex/contrib/grundgesetze/README b/macros/latex/contrib/grundgesetze/README index 52a2479823..b887187f8e 100644 --- a/macros/latex/contrib/grundgesetze/README +++ b/macros/latex/contrib/grundgesetze/README @@ -9,11 +9,11 @@ The file grundgesetze.sty is a derivative work of begriff.sty (Copyright (c) 2005 Josh Parsons, Richard G. Heck Jr.) and so, like it, is released under the GNU General Public License (version 2). -The remainder of this work is Copyright (c) 2008-2014 Richard +The remainder of this work is Copyright (c) 2008-2021 Richard G. Heck Jr., J.J. Green, Agustin Rayo, and Marcus Rossberg. Further information can be found at http://www.frege.info/ -Marcus Rossberg 2014 \ No newline at end of file +Marcus Rossberg 2021 \ No newline at end of file diff --git a/macros/latex/contrib/grundgesetze/grundgesetze.dtx b/macros/latex/contrib/grundgesetze/grundgesetze.dtx index 84005cb1da..f1b7b86e9a 100644 --- a/macros/latex/contrib/grundgesetze/grundgesetze.dtx +++ b/macros/latex/contrib/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 , +% Copyright (C) 2003-2021 by Josh Parsons , % Marcus Rossberg , % J.J. Green , -% Richard G. Heck, Jr. , +% Richard Kimberly Heck , % and Agust’n Rayo % % 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 @@ % %\NeedsTeXFormat{LaTeX2e} %\ProvidesPackage{grundgesetze} -% [2014/06/16 1.02 grundgesetze 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}% }% diff --git a/macros/latex/contrib/grundgesetze/grundgesetze.pdf b/macros/latex/contrib/grundgesetze/grundgesetze.pdf index 10f3cef32d..6d521d73cd 100644 Binary files a/macros/latex/contrib/grundgesetze/grundgesetze.pdf and b/macros/latex/contrib/grundgesetze/grundgesetze.pdf differ -- cgit v1.2.3