Settings Help
CTAN
Comprehensive TeX Archive Network
Home Upload Browse

Direc­tory tex-archive/macros/generic/tex-ewd

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

Files

Name Size Date Notes
README 892 2008-11-11 06:11:52
bsdlic.txt 1043 2008-11-11 06:19:12
dotnot.tex 7400 2008-11-10 09:15:00
p0.tex 16442 2008-11-11 06:13:25
t1.tex 2266 2008-11-11 06:13:52

Down­load the com­plete con­tents of this di­rec­tory in one zip archive (11.4k).

tex-ewd – Macros to type­set cal­cu­la­tional proofs and pro­grams in Di­jk­stra's style

Eds­ger W. Di­jk­stra and oth­ers sug­gest a unique style to present math­e­mat­i­cal proofs and to con­struct pro­grams. This pack­age pro­vides macros that sup­port cal­cu­la­tional proofs and Di­jk­stra’s “guarded com­mand lan­guage”.

Doc­u­men­ta­tion
Ver­sion 2008-11-10
Li­censeBSD Style Li­cense
Copy­right2008 Wolf­gang Hel­big
Main­tainerWolf­gang Hel­big
Con­tained inTeXLive as tex-ewd
MiKTeX as tex-ewd
Topics sup­port for type­set­ting math­e­mat­ics
Guest Book Sitemap Contact 2014-04-18 02:14 CEST