Comprehensive TeX Archive Network

Direc­tory tex-archive/macros/latex/contrib/diagmac

This directory contains my files that are available by anonymous ftp.

The file reynolds.bib.gz is a large (gzip-encoded) bibliography file
in an extended bibtex format.  It includes all citation used in the
papers I've written in recent years.

The file ReynoldsJC.bib is an (unencoded) excerpt of reynolds.bib
limited to my own papers and books, and books in which these papers
have been republished.

In both of the bibliography files, the field "filename" gives the
filename by which the paper is made available in this directory.
Most of these files are gzip-encoded, and are usually available in both
dvi and postscript form.  Some files are in unencoded pdf format; most
of these are pre-electronic papers that were optically scanned to obtain
the pdf file.  (I apologize for the low image quality of these files.)

One of the pdf files, craftprog.pdf, is very large (28730525 bytes).
It is an optically scanned image of my book "The Craft of Programming".

There are also six (gzip-encoded) files containing or relating to
a collection of macros for use with LATEX:

     diagmac.tex (41490 bytes)  A collection of macros, both for diagrams
     in general and category-theory diagrams in particular.

     diagmac.doc (34135 bytes)  A user's manual for the diagram macros.
     This file is meant to be printed directly and not as input to LATEX.

     diagmactest.tex (13069 bytes)  A file which, when read by LATEX,
     will input diagmac.tex and print 8 pages of "Tests of Diagram Macros".

     catmac.tex (50618 bytes)  A collection of macros for various notations
     of category theory and programming language semantics.  There is no
     separate user's manual, but this file contains extensive comments.

     catmactest.tex (16382 bytes)  A file which, when read by LATEX,
     will input catmac.tex and print 15 pages of "Tests of Macros for
     Category Theory".

     largeoptest.tex (1676 bytes)  A file which, when read by LATEX, will
     input catmac.tex and print 7 pages of "Tests of Large Operator Macros".

These macros are in the public domain, and have not changed in many years.
Acknowledgement of their usage is not necessary.  However, neither I nor CMU
accept any responsibility for the consequences of errors in these macros or
their documentation.  This is more than the usual disclaimer; TEX is a beastly
language for programming anything complex, and I am not an expert in its use,
so that there are probably errors lurking in the macros.

The paper "Separation Logic: A Logic for Shared Mutable Data Structures"
(seplogic) is copyrighted by the IEEE.  They have requested their authors to
display the following notice:

   "This material is presented to ensure timely dissemination of
   scholarly and technical work. Copyright and all rights therein
   are retained by authors or by other copyright holders. All
   persons copying this information are expected to adhere to the
   terms and constraints invoked by each author=92s copyright. In
   most cases, these works may not be reposted without the
   explicit permission of the copyright holder."

  - John C. Reynolds
    April 29, 2009


Name Size Date Notes
README 3213 2009-04-29 20:39
di­ag­mac.sty 41503 1994-12-23 01:00
41503 1994-12-23 01:00 ⇒ /macros/la­tex/con­trib/di­ag­mac/di­ag­mac.sty
di­ag­mac.txt 34135 1994-12-23 01:00
di­ag­mactest.pdf 48428 2009-04-30 00:00
di­ag­mactest.tex 13069 1994-12-23 01:00

Down­load the con­tents of this pack­age in one zip archive (68.7k).

di­ag­mac – A di­a­gram draw­ing pack­age

The pack­age comes in two parts: first, some macros that are gen­er­ally ap­pli­ca­ble to draw­ing di­a­grams in LaTeX; and sec­ond, macros spe­cific to draw­ing cat­e­gory the­ory di­a­grams.

The pack­age was writ­ten for LaTeX 2.09, but con­tin­ues to work un­der LaTeX 2e; how­ever, an up­dated ver­sion, that uses pic­t2e, is also avail­able.

Pack­age De­tailsdi­ag­mac
Ver­sion 1987-12-31
Li­censePublic Do­main Soft­ware
Main­tainerJohn Reynolds
Con­tained inMiKTeX as di­ag­mac
Topics graph­ics pro­duced by one of the *TeX en­gines
com­mu­ta­tive di­a­grams
Guest Book Sitemap Contact Contact Author