new version of manifesto

Rusty Lusk ((no email))
Sat, 07 Aug 1993 21:51:44 -0500

Messages sorted by: [ date ][ thread ][ subject ][ author ]
Next message: Robert S. Boyer: "Mizar Pricelist"

There is now a revised version of the QED manifesto available for anonymous
ftp from info.mcs.anl.gov in the directory pub/qed. It reflects some of the
discussion that has taken place on this mailing list. The archives have also
been brought up to date. See the subdirectory "archive" in the same place.

Next message: Robert S. Boyer: "Mizar Pricelist"