summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/turnstile/turnstile-pt/README.pt
blob: 47754a32454b497775742731d68e7d352ac241e8 (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
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.