summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/turnstile/turnstile-en/README.en
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