CTAN Comprehensive TeX Archive Network

CTAN has a new pack­age: -EWD

Date: Novem­ber 11, 2008 6:42:41 PM CET
On Mon, 10 Nov 2008, Wolf­gang Hel­big sub­mit­ted the new tex-ewd pack­age to CTAN. Lo­ca­tion on CTAN: /macros/generic/tex-ewd Sum­mary de­scrip­tion: Macros to type­set cal­cu­la­tional proofs and pro­grams in Di­jk­stra's style. Li­cense type: bsd An­nounce­ment text:
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­stras "guarded com­mand lan­guage".
This pack­age is lo­cated at http://mir­ror.ctan.org/macros/generic/tex-ewd . More in­for­ma­tion is at http://tug.ctan.org/info/?id=tex-ewd (if the pack­age is new it may take a day for that in­for­ma­tion to ap­pear). We are sup­ported by the TeX Users Group http://www.tug.org . Please join a users group; see http://www.tug.org/user­groups.html . _______________________________________________ Thanks for the up­load. For the CTAN Team Rainer Schöpf

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”.

Pack­agetex-ewd
Ver­sion 2008-11-10
Copy­right2008 Wolf­gang Hel­big
Main­tainerWolf­gang Hel­big

An­nounce­ments

more

Guest Book Sitemap Contact Contact Author