diff options
author | Karl Berry <karl@freefriends.org> | 2008-11-12 00:43:36 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-11-12 00:43:36 +0000 |
commit | 6d06dddb5a2041f7c07b6502a3bfa973f0d86635 (patch) | |
tree | 62f472d0a2ad901fc2c4f0faa319b6f34780f939 /Master/texmf-dist/doc/generic/tex-ewd/README | |
parent | e9b1b6d6533ffee4803e30a3267261699e9ae3f9 (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/README | 19 |
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 |