summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/turnstile/turnstile-en/README.en
diff options
context:
space:
mode:
Diffstat (limited to 'macros/latex/contrib/turnstile/turnstile-en/README.en')
-rw-r--r--macros/latex/contrib/turnstile/turnstile-en/README.en58
1 files changed, 58 insertions, 0 deletions
diff --git a/macros/latex/contrib/turnstile/turnstile-en/README.en b/macros/latex/contrib/turnstile/turnstile-en/README.en
new file mode 100644
index 0000000000..3639e62eba
--- /dev/null
+++ b/macros/latex/contrib/turnstile/turnstile-en/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