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
59
60
61
|
(para compatibilidades com o site CTAN, este arquivo estah formatado em 7bits)
turnstile
Este estilo eh baseado no article.cls, usado para a composicao de
artigos. Entre outras utilizacoes, a barra de Frege eh usada
pelos logicos para denotar a relacao de consequencia, com
respeito a uma dada logica, entre colecoes de formulas e
formulas. O pacote turnstile foi feito para desenhar a
barra de Frege em varias formas, e para colocar dados abaixo e
acima deste simbolo.
AUTORES
Arthur Buchsbaum e Francisco Reinaldo
arthur@gmail.com, reinaldo.opus@gmail.com
COPYRIGHT
Este programa eh provido sob os termos de Licenca Publica do
Projeto LaTeX, distribuido a partir dos arquivos do CTAN no
diretorio macros/latex/base/lppl.txt.
(C) 2007 Arthur Buchsbaum e Francisco Reinaldo
VERSAO
Este eh o turnstile versao 1.0.
MUDANCAS
1.0 Primeira versao publica.
Arquivos e Diretorios no CTAN
README.pt Este arquivo.
turnstile-pt.dtx A fonte para o estilo turnstile
turnstile-pt.pdf Versao em pdf do estilo
turnstile-pt.ins Driver para o turnstile-pt.dtx
turnstile_artigo.tex A fonte para o artigo
turnstile_artigo.pdf Versao em pdf da documentacao,
publicada por PracTeX Journal: Numero 2007-3.
REQUISITOS
A instalacao do pacote turnstile requer os pacotes ifthen.
Por favor, use <<a derradeira versao do LaTeX>>.
INSTALACAO
O procedimento de instalacao eh descrito na documentacao,
mas voce pode tambem seguir estes passos:
1. Puxe os arquivos turnsilte-pt\turnstile-pt.ins e
turnsilte-pt\turnstile-pt.dtx para um diretorio preferencialmente
vazio. Se voce pretende manter a documentacao, eh melhor criar
um diretorio adequado e colocar la todos os arquivos agora mesmo.
2. Inicie uma shell onde voce pode entrar com os comandos pelo
teclado.
3. Va para o diretorio onde voce colocou os arquivos
turnstile-pt.ins e turnstile-pt.dtx.
4. Execute o comando:
pdflatex turnstile-pt.ins
Voce obtera o arquivo turnstile.sty
5. Execute o comando:
pdflatex turnstile-pt.dtx
para produzir a documentacao e testar a instalacao.
Execute este comando mais uma vez para obter as referencias, antes
de consulta-la.
|
