Index of /packages/prospero/doc

	Name	Last modified	Size	Description
	Parent Directory		-
	README-prospero-documents	1993-12-01 00:00	12K
	more-getting-started.PS.Z	1993-07-07 00:00	21K
	more-getting-started.tex.Z	1993-07-07 00:00	2.3K
	prospero-library.PS.Z	1994-04-02 00:00	62K
	prospero-library.tex.Z	1994-04-02 00:00	16K
	prospero-menu-api.PS.Z	1993-07-07 00:00	41K
	prospero-menu-api.tex.Z	1993-07-07 00:00	7.0K
	prospero-protocol-v1.PS.Z	1992-04-15 00:00	45K
	prospero-protocol-v5.PS.Z	1993-12-01 00:00	132K
	prospero-protocol-v5.tex.Z	1993-12-01 00:00	43K
	prospero-protocol.PS.Z	1993-12-01 00:00	132K
	prospero-protocol.tex.Z	1993-12-01 00:00	43K
	prospero-user-manual.PS.Z	1993-12-01 00:00	93K
	prospero-user-manual.tex.Z	1993-12-01 00:00	31K
	protocol.PS.Z	1993-12-01 00:00	132K