blob: c89659a03b84bd7fd705d3adb0ec6db7c5cdeecc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
lplfitch
========
LaTeX package for typesetting Fitch-style proofs a la Language, Proof,
and Logic, a logic textbook by Jon Barwise and John Etchemendy. It was
originally written by John Etchemendy, with modifications by
Dave Barker-Plummer and Richard Zach.
https://github.com/rzach/lplfitch
Installation
------------
Run latex on lplfitch.ins to produce lplfitch.sty
Run latex on lplfitch.dxt to produce the documentation.
License
-------
Copyright 2013 by John Etchemendy, Dave Barker-Plummer, and Richard Zach
This work may be distributed and/or modified under the
conditions of the LaTeX Project Public License, either version 1.3
of this license or (at your option) any later version.
The latest version of this license is in
http://www.latex-project.org/lppl.txt
and version 1.3 or later is part of all distributions of LaTeX
version 2005/12/01 or later.
This work has the LPPL maintenance status `maintained'.
The Current Maintainer of this work is Richard Zach.
This work consists of the files lplfitch.dtx and lplfitch.ins
and the derived files lplfitch.sty and lplfitch.pdf.
Versions
--------
0.9 (2013/05/16) First public beta
|
