From 3407d103032c2b370491adcfdc621c034e01ec4e Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Sun, 9 Sep 2007 00:31:13 +0000 Subject: new latex package turnstile (7sep07) git-svn-id: svn://tug.org/texlive/trunk@4917 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/doc/latex/turnstile/README | 43 ++++++++++++++++++++++++++++ 1 file changed, 43 insertions(+) create mode 100644 Master/texmf-dist/doc/latex/turnstile/README (limited to 'Master/texmf-dist/doc/latex/turnstile/README') diff --git a/Master/texmf-dist/doc/latex/turnstile/README b/Master/texmf-dist/doc/latex/turnstile/README new file mode 100644 index 00000000000..589409ada58 --- /dev/null +++ b/Master/texmf-dist/doc/latex/turnstile/README @@ -0,0 +1,43 @@ +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. Many logicians + have complaint the lack of a LaTeX routine for issuing turnstile + signs, in any of the forms it could arise. + +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 + +FILES AND DIRECTORIES AT CTAN + README This file + turnstile-en\ Directory of turnstile style (English version) + turnstile-pt\ Directory of turnstile style (Portuguese version) + +:. +. README +. ++---turnstile-pt +. README.pt +. turnstile-pt.dtx +. turnstile-pt.ins +. turnstile-pt.pdf +. turnstile_artigo.pdf +. turnstile_artigo.tex ++---turnstile-en +. README.en +. turnstile-en.dtx +. turnstile-en.ins +. turnstile-en.pdf +. turnstile_article.pdf +. turnstile_article.tex + +Thanks and enjoy it! -- cgit v1.2.3