diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/synproof/README')
-rw-r--r-- | Master/texmf-dist/doc/latex/synproof/README | 18 |
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 |