summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/synproof/README
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2007-07-12 00:00:11 +0000
committerKarl Berry <karl@freefriends.org>2007-07-12 00:00:11 +0000
commitde912e5e12b690efe8304a19315d3b6fc3f8b1c1 (patch)
tree2420b2d0048a9e370cea23b8228731c81cc1e36c /Master/texmf-dist/doc/latex/synproof/README
parent7bf56e6bfcd7b204b3507dc9acaaaa3dce2cbcdb (diff)
new latex package synproof (9jun07)
git-svn-id: svn://tug.org/texlive/trunk@4562 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/synproof/README')
-rw-r--r--Master/texmf-dist/doc/latex/synproof/README18
1 files changed, 18 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/synproof/README b/Master/texmf-dist/doc/latex/synproof/README
new file mode 100644
index 00000000000..d26b7b5a877
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/synproof/README
@@ -0,0 +1,18 @@
+This is the file README for synproof.sty. You'll find complete documentation in synproof-doc.pdf
+
+This package provides simple commands to draw syntactic proofs (derivations) in
+modern logic. Each step of the derivation is a numbered line with the operation
+used to derive it, and assumptions are represented as lines down to their conclusions
+(as in the Gamut books). The derivation's appearance can be modified easily.
+
+Required packages (usually available on any LaTeX distribution):
+- ifthen.sty
+- pstricks.sty
+- pst-node.sty
+- keyval.sty
+
+Licensing of this package is covered by LPPL.
+
+Any reaction is welcome: zappathustra@free.fr
+
+Paul Isambert