blob: 3639e62eba26e36b84eaa1cc85457428a054c60b (
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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
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
|
