diff options
Diffstat (limited to '')
| -rw-r--r-- | latex-fitch-uoo/.gitignore | 1 | ||||
| -rw-r--r-- | latex-fitch-uoo/PKGBUILD | 21 | ||||
| -rw-r--r-- | latex-fitch-uoo/fitch.install | 11 | ||||
| l--------- | latex-fitch-uoo/upload | 1 | ||||
| -rwxr-xr-x | latex-fitch-uoo/watch | 21 | ||||
| -rw-r--r-- | latex-fitch/PKGBUILD | 19 | ||||
| -rw-r--r-- | latex-fitch/fitch | 112 | ||||
| -rw-r--r-- | latex-fitch/fitch.install | 11 | ||||
| -rw-r--r-- | latex-fitch/source/PKGBUILD | 19 | ||||
| -rw-r--r-- | latex-fitch/source/fitch.install | 11 | ||||
| -rw-r--r-- | latex-fitch/source/fitch.sty | 112 | ||||
| l--------- | latex-fitch/upload | 1 | ||||
| -rwxr-xr-x | latex-fitch/watch | 21 |
13 files changed, 0 insertions, 361 deletions
diff --git a/latex-fitch-uoo/.gitignore b/latex-fitch-uoo/.gitignore deleted file mode 100644 index dd1f40a..0000000 --- a/latex-fitch-uoo/.gitignore +++ /dev/null @@ -1 +0,0 @@ -fitch diff --git a/latex-fitch-uoo/PKGBUILD b/latex-fitch-uoo/PKGBUILD deleted file mode 100644 index 14a4b2a..0000000 --- a/latex-fitch-uoo/PKGBUILD +++ /dev/null @@ -1,21 +0,0 @@ -# Maintainer: Mattias Andrée <m@`base64 -d`(bWFhbmRyZWU).se> - -pkgname=latex-fitch-uoo -pkgver=0.5 -pkgrel=1 -pkgdesc="LaTeX macros for Fitch style natural deduction" -arch=('any') -url="https://www.mathstat.dal.ca/~selinger/fitch" -license=('GPL') -depends=('texlive-core') -install=fitch.install -source=('https://www.mathstat.dal.ca/~selinger/fitch/fitch-0.5.tgz') -sha256sums=('0d3173a63420eb5b9981b9c7db0bad0b24278272a666cc31e0c7af8a14ecc4af') - -package() { - cd "${srcdir}/fitch-${pkgver}" - install -Dm644 fitch.sty "${pkgdir}/usr/share/texmf-dist/tex/latex/fitch" - install -Dm644 fitchdoc.ps "${pkgdir}/usr/share/doc/latex-fitch-uoo.ps" - ## You can change .ps to .pdf if you prefer PDF over PostScript. -} - diff --git a/latex-fitch-uoo/fitch.install b/latex-fitch-uoo/fitch.install deleted file mode 100644 index e1c1d5e..0000000 --- a/latex-fitch-uoo/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-uoo/upload b/latex-fitch-uoo/upload deleted file mode 120000 index 1e7a8be..0000000 --- a/latex-fitch-uoo/upload +++ /dev/null @@ -1 +0,0 @@ -../upload
\ No newline at end of file diff --git a/latex-fitch-uoo/watch b/latex-fitch-uoo/watch deleted file mode 100755 index f9ce5ed..0000000 --- a/latex-fitch-uoo/watch +++ /dev/null @@ -1,21 +0,0 @@ -#!/bin/sh - -[ -f fitch ] && rm fitch - -wget 'http://www.mathstat.dal.ca/~selinger/fitch' -O fitch >/dev/null 2>/dev/null - -if [ $? = 0 ]; then - [ -f unfetchable ] && rm unfetchable - md5sum fitch > new-sum - touch sum - if [ "$(cat sum)" = "$(cat new-sum)" ]; then - rm new-sum - else - mv new-sum sum - echo 'latex-fitch-uoo' - fi -elif [ ! -f unfetchable ]; then - touch unfetchable - echo 'latex-fitch-uoo (unfetchable)' -fi - 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} - \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} - \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 - |