Log of /trunk/uia/alpaca/README

Links to HEAD:	(view) (download) (annotate)
Sticky Revision:

Revision 2344 - (view) (download) (annotate) - [select for diffs]
Modified Thu Apr 26 22:56:32 2007 UTC (2 years, 7 months ago) by golem
File length: 108 byte(s)
Diff to previous 2339

move alpaca source tree into the uia trunk

Revision 2339 - (view) (download) (annotate) - [select for diffs]
Modified Fri Feb 2 21:24:17 2007 UTC (2 years, 9 months ago) by ctl
Original Path: branches/ctl/alpaca/trunk/certificate/README
File length: 108 byte(s)
Diff to previous 2263

Change name PCP->Alpaca.

Revision 2263 - (view) (download) (annotate) - [select for diffs]
Added Mon Apr 24 03:07:51 2006 UTC (3 years, 7 months ago) by ctl
Original Path: branches/ctl/alpaca/trunk/certificate/README
File length: 102 byte(s)

readme, another related doc on proof compression, some tools

This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.

Maintained by PDOS	ViewVC Help
Powered by ViewVC 1.0.3

	Diffs between and
	Type of Diff should be a