diff options
author | Karl Berry <karl@freefriends.org> | 2007-09-09 00:31:13 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2007-09-09 00:31:13 +0000 |
commit | 3407d103032c2b370491adcfdc621c034e01ec4e (patch) | |
tree | 01b0bd088d2de758858b5fd776415a19a0ad3476 /Master/texmf-dist/doc/latex/turnstile/README.en | |
parent | a0dfa93bd1086044339d3dd67f4000566e302e07 (diff) |
new latex package turnstile (7sep07)
git-svn-id: svn://tug.org/texlive/trunk@4917 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/turnstile/README.en')
-rw-r--r-- | Master/texmf-dist/doc/latex/turnstile/README.en | 58 |
1 files changed, 58 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/turnstile/README.en b/Master/texmf-dist/doc/latex/turnstile/README.en new file mode 100644 index 00000000000..3639e62eba2 --- /dev/null +++ b/Master/texmf-dist/doc/latex/turnstile/README.en @@ -0,0 +1,58 @@ +turnstile + This style was based on article.cls to be used for typesetting + articles. Among other uses, the turnstile sign is used by logicians + for denoting a consequence relation, related to a given logic, + between a collection of formulas and a formula. This package aims to + issue the turnstile sign in many ways, and is capable of + putting labels below and above it. + +AUTHOR + Arthur Buchsbaum and Francisco Reinaldo. + arthur@inf.ufsc.br, reinaldo.opus@gmail.com + + +COPYRIGHT + This program is provided under the terms of the + LaTeX Project Public License distributed from CTAN + archives in the directory macros/latex/base/lppl.txt. + (C) 2007 Arthur Buchsbaum e Francisco Reinaldo + +VERSION + This is the turnstile version 1.0 + +CHANGES + 1.0 First public release. + +FILES AND DIRECTORIES AT CTAN + README.en This file + turnstile-en.dtx The source of turnstile style + turnstile-en.pdf Pdf version of turnstile style + turnstile-en.ins Driver file for turnstile-en.dtx + turnstile_article.tex Source code of article + turnstile_article.pdf Pdf version of the documentation, + published PracTeX Journal: Issue 2007-3 + +REQUIREMENTS + The installation of the turnstile package requires the ifthen + package. Please use <<the last LaTeX version>>. + +INSTALLATION (OF THE LATEX PACKAGE AND THE METAFONT SOURCE FILES) + The installation procedure is described in the documentation, but + you can also follow these steps. + + 1. Download the files turnsilte-en\turnstile-en.ins and + turnsilte-en\turnstile-en.dtx to a preferably + empty directory. If you intend to keep the documentation, you'd + better create a suitable directory and put the files there right + now + 2. Start a shell where you can enter commands from the keyboard + 3. Go to the directory where you did put the files turnstile-en.dtx + and turnstile-en.ins + 4. Run the command + pdflatex turnstile-en.ins + You will obtain the turnstile-en.sty + 5. Run the command + pdflatex turnstile-en.dtx + to produce the documentation and test the installation. + Run it one more time to resolve the references, before + you view it |