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