Remove some old packages

Signed-off-by: Mattias Andrée <m@maandree.se>

8 files changed, 0 insertions, 306 deletions

diff --git a/latex-fitch/PKGBUILD b/latex-fitch/PKGBUILD
deleted file mode 100644
index 9071ba0..0000000
--- a/latex-fitch/PKGBUILD
+++ /dev/null
@@ -1,19 +0,0 @@
-# Maintainer: Mattias Andrée <m@`base64 -d`(bWFhbmRyZWU).se>
-# Contributor: Lawrence Lee <valheru@facticius.net>
-
-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/fitch b/latex-fitch/fitch
deleted file mode 100644
index 963010e..0000000
--- a/latex-fitch/fitch
+++ /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}
-    &#1\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}
-  }}
diff --git a/latex-fitch/fitch.install b/latex-fitch/fitch.install
deleted file mode 100644
index e1c1d5e..0000000
--- a/latex-fitch/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/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 <valheru@facticius.net>
-
-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}
-    &#1\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}
-  }}
diff --git a/latex-fitch/upload b/latex-fitch/upload
deleted file mode 120000
index 1e7a8be..0000000
--- a/latex-fitch/upload
+++ /dev/null
@@ -1 +0,0 @@
-../upload
\ No newline at end of file
diff --git a/latex-fitch/watch b/latex-fitch/watch
deleted file mode 100755
index 9c62075..0000000
--- a/latex-fitch/watch
+++ /dev/null
@@ -1,21 +0,0 @@
-#!/bin/sh
-
-[ -f fitch.sty.new ] &&  rm fitch.sty.new
-
-wget 'http://folk.uio.no/johanw/fitch.sty' -O fitch.sty.new >/dev/null 2>/dev/null
-
-if [ $? = 0 ]; then
-	[ -f unfetchable ] && rm unfetchable
-	md5sum fitch.sty.new > new-sum
-	touch sum
-	if [ "$(cat sum)" = "$(cat new-sum)" ]; then
-		rm new-sum
-	else
-		mv new-sum sum
-		echo 'latex-fitch' '('"$(cat sum)"')'
-	fi
-elif [ ! -f unfetchable ]; then
-	touch unfetchable
-	echo 'latex-fitch (unfetchable)'
-fi
-