From 472e769077880733441136516ce8f71be35939f1 Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Tue, 8 Oct 2024 20:28:25 +0200 Subject: Remove some old packages MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- latex-fitch/source/PKGBUILD | 19 ------- latex-fitch/source/fitch.install | 11 ---- latex-fitch/source/fitch.sty | 112 --------------------------------------- 3 files changed, 142 deletions(-) delete mode 100644 latex-fitch/source/PKGBUILD delete mode 100644 latex-fitch/source/fitch.install delete mode 100644 latex-fitch/source/fitch.sty (limited to 'latex-fitch/source') diff --git a/latex-fitch/source/PKGBUILD b/latex-fitch/source/PKGBUILD deleted file mode 100644 index 7275bee..0000000 --- a/latex-fitch/source/PKGBUILD +++ /dev/null @@ -1,19 +0,0 @@ -# Maintainer: Mattias Andrée <`base64 -d`(bWFhbmRyZWUK)@member.fsf.org> -# Contributor: Lawrence Lee - -pkgname=latex-fitch -pkgver=1.6 -pkgrel=2 -pkgdesc="A LaTeX package for Fitch-style proofs" -arch=('any') -url="http://folk.uio.no/johanw/FitchSty.html" -license=('GPL') -depends=('tetex') -install=fitch.install -# source=(http://folk.uio.no/johanw/fitch.sty) -source=(fitch.sty) -md5sums=('d62bdd0267c217d6017baef950b9205a') - -package() { - install -Dm644 "${srcdir}/fitch.sty" "${pkgdir}/usr/share/texmf-dist/tex/latex/fitch" -} diff --git a/latex-fitch/source/fitch.install b/latex-fitch/source/fitch.install deleted file mode 100644 index e1c1d5e..0000000 --- a/latex-fitch/source/fitch.install +++ /dev/null @@ -1,11 +0,0 @@ -post_upgrade() { - echo " updating the filename database..." - texconfig-sys rehash - echo " done." -} - -post_remove() { - echo " updating the filename database..." - texconfig-sys rehash - echo " done." -} diff --git a/latex-fitch/source/fitch.sty b/latex-fitch/source/fitch.sty deleted file mode 100644 index 963010e..0000000 --- a/latex-fitch/source/fitch.sty +++ /dev/null @@ -1,112 +0,0 @@ -% $Id: fitch.sty,v 1.6 2003/06/28 16:53:00 johanw Exp $ - -% Macros for Fitch-style formal proofs -% Johan W. Klüwer, June 10, 2001 - - -\RequirePackage{mdwtab,latexsym,amsmath,amsfonts,ifthen} - - -% Line height in proofs -\newlength{\fitchlineht} -\setlength{\fitchlineht}{1.5\baselineskip} -% Horizontal indent between proof levels -\newlength{\fitchindent} -\setlength{\fitchindent}{1em} -% Indent to comment -\newlength{\fitchcomind} -\setlength{\fitchcomind}{2em} -% Line number width -\newlength{\fitchnumwd} -\setlength{\fitchnumwd}{1em} - -% Altered from mdwtab.sty: shorter vline, for start of subproof -\makeatletter -\newcommand\fvline[1][\arrayrulewidth]{\vrule\@height.5\fitchlineht\@width#1\relax} -\makeatother -% Ordinary vertical line -\newcommand{\fa}{\vline\hspace*{\fitchindent}} -% Vertical line, shorter: Use at start of (sub)proof -\newcommand{\fb}{\fvline\hspace*{\fitchindent}} -% Hypothesis -\newcommand{\fh}{\fvline% - \makebox[0pt][l]{{% - \raisebox{-1.4ex}[0pt][0pt]{\rule{1.5em}{\arrayrulewidth}}}}% - \hspace*{\fitchindent}} -% Hypothesis, with longer vert line: for >1 hypothesis -\newcommand{\fj}{\vline% - \makebox[0pt][l]{{% - \raisebox{-1.4ex}[0pt][0pt]{\rule{1.5em}{\arrayrulewidth}}}}% - \hspace*{\fitchindent}} -% Modal subproof: takes argument = operator -\newcommand{\fitchmodal}[1]{% - \makebox[0pt][r]{${}^{#1}$\,}\fvline\hspace*{\fitchindent}} -\newcommand{\fn}{\fitchmodal{\Box}}% Box subproof -\newcommand{\fp}{\fitchmodal{\Diamond}}% Diamond subproof -% Modal subproof with hypothesis in first line (as in Fitch) -\newcommand{\fitchmodalh}[1]{% - \makebox[0pt][r]{${}^{#1}$\,}% - \fvline% - \makebox[0pt][l]{{% - \raisebox{-1.4ex}[0pt][0pt]{\rule{1.5em}{\arrayrulewidth}}}}% - \hspace*{\fitchindent}} -% Rule: formula introduction marker. \fr with line, \fs without line -\newcommand{\fr}{% - \makebox[0pt][r]{${\rhd}$\,\,}\vline\hspace*{\fitchindent}} -\newcommand{\fs}{% - \makebox[0pt][r]{${\rhd}$\,\,}} -% Box around argument, like new variable in ql -\newcommand{\fw}[1]{\fbox{\footnotesize $#1$}} - -% -\newcounter{fitchcounter} -\setcounter{fitchcounter}{0} -%To avoid starting from 1, \setboolean{resetfitchcounter}{false} -\newboolean{resetfitchcounter} -\setboolean{resetfitchcounter}{true} -%To avoid increasing numbers, \setboolean{increasefitchcounter}{false} -\newboolean{increasefitchcounter} -\setboolean{increasefitchcounter}{true} -%\formatfitchcounter can be altered if need be, though only once per proof -\newcommand{\formatfitchcounter}[1]{\arabic{#1}} -%Typeset the counter -\newcommand{\fitchcounter}{% - \ifthenelse{\boolean{increasefitchcounter}}{\addtocounter{fitchcounter}{1}}{} - \formatfitchcounter{fitchcounter}} - -%A line with a special number -- a tag, e.g. \ftag{\vdots}{} -\newcommand{\ftag}[2]{\multicolumn{1}% - {!{\makebox[\fitchnumwd][r]{#1}\hspace{\fitchindent}}Ml@{\hspace{\fitchcomind}}}% - {#2}} - -\newenvironment{fitchnum}% -{\ifthenelse{\boolean{resetfitchcounter}}{\setcounter{fitchcounter}{0}}{} - \begin{tabular}{!{\makebox[\fitchnumwd][r]{\fitchcounter }\hspace{\fitchindent}}Ml@{\hspace{\fitchcomind}}l}}% -{\end{tabular}} - -\newenvironment{fitchunum}% -{\begin{tabular}{!{\makebox[\fitchnumwd][r]{}\hspace{\fitchindent}}Ml@{\hspace{\fitchcomind}}l}}% -{\end{tabular}} - -\newenvironment{fitch}{\renewcommand{\arraystretch}{1.5} - \begin{fitchnum}}{\end{fitchnum}} -\newenvironment{fitch*}{\renewcommand{\arraystretch}{1.5} - \begin{fitchunum}}{\end{fitchunum}} - -% The following is useful for giving a numbered formula, then the proof. -\newenvironment{flem}[2]% -{\begin{eqnarray} - \label{#2}\\ - &\begin{fitch}}% - {\end{fitch}\notag\end{eqnarray}} - -%To write comment field for two consecutive lines, with brace -\newcommand{\ftwocom}[1]{% - \parbox[t]{3cm}{ - \raisebox{-.6\baselineskip}[\baselineskip][0pt]{% - $\left. - \begin{aligned} - \,\\ \, - \end{aligned} - \right\}$\quad #1} - }} -- cgit v1.2.3-70-g09d2