You can get the contents of this directory bundled as a zip file.
| Identifier | Caption |
|---|---|
| tex-ewd | Macros to typeset calculational proofs and programs in Dijkstra's style. |
| Name | Size* | Date UTC | Notes |
|---|---|---|---|
| README | 1 KiB | 2008-Nov-11 | Shown below |
| bsdlic.txt | 1 KiB | 2008-Nov-11 | |
| dotnot.tex | 7 KiB | 2008-Nov-10 | |
| p0.tex | 16 KiB | 2008-Nov-11 | |
| t1.tex | 2 KiB | 2008-Nov-11 |
*File sizes in kibibytes.
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