summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/generic/tex-ewd/README
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2008-11-12 00:43:36 +0000
committerKarl Berry <karl@freefriends.org>2008-11-12 00:43:36 +0000
commit6d06dddb5a2041f7c07b6502a3bfa973f0d86635 (patch)
tree62f472d0a2ad901fc2c4f0faa319b6f34780f939 /Master/texmf-dist/doc/generic/tex-ewd/README
parente9b1b6d6533ffee4803e30a3267261699e9ae3f9 (diff)
new generic package tex-ewd (11nov08)
git-svn-id: svn://tug.org/texlive/trunk@11261 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/generic/tex-ewd/README')
-rw-r--r--Master/texmf-dist/doc/generic/tex-ewd/README19
1 files changed, 19 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/generic/tex-ewd/README b/Master/texmf-dist/doc/generic/tex-ewd/README
new file mode 100644
index 00000000000..73758127457
--- /dev/null
+++ b/Master/texmf-dist/doc/generic/tex-ewd/README
@@ -0,0 +1,19 @@
+TeX-EWD is a set of plain TeX macros that helps typesetting formulas,
+calculational proofs, and programs written in Dijkstra's style. See
+ http://www.cs.utexas.edu/users/EWD/transcriptions/EWD13xx/EWD1300.html
+for the `dot notation', i.e., the style for formulas and proofs, and the book
+ Dijkstra, "A Discipline of Programming", Prentice Hall, 1976
+for the `guarded commands language'.
+
+The file dotnot.tex contains the (generic) macros and hints how to
+use them, the files t1.tex and p0.tex demonstrate their usage.
+
+The macros where testet using TeX-GPC.
+
+This software is licensed to you under the terms of a BSD-style license,
+see bsdlic.txt for details.
+
+Enjoy,
+Wolfgang Helbig helbig@lehre.ba-stuttgart.de
+Stauferst. 22 http://wwwlehre.ba-stuttgart.de/~helbig
+71334 Waiblingen November 2008