You can get the contents of this directory bundled as a zip file.
| Identifier | Caption |
|---|---|
| galois | Typeset Galois connections. |
| Name | Size* | Date UTC | Notes |
|---|---|---|---|
| Makefile | 1 KiB | 2006-Mar-22 | |
| README | 329 bytes | 2006-Mar-22 | Shown below |
| galois.dtx | 21 KiB | 2006-Mar-19 | |
| galois.ins | 1 KiB | 2006-Mar-18 | |
| galois.pdf | 107 KiB | 2006-Mar-22 |
*File sizes in kibibytes.
galois.sty V1.05 2006/03/19 ------------------------------------------------------------------------- Write Galois connections in two dimensional style, optionally in color. This file may be distributed under the terms of the LPPL. ------------------------------------------------------------------------- Patrick.Cousot@ens.fr