---

Revision 2485 - Directory Listing
Modified Wed May 16 18:57:53 2007 UTC (2 years, 6 months ago) by ctl

a couple of additions

---

Revision 2484 - Directory Listing
Modified Tue May 15 23:29:40 2007 UTC (2 years, 6 months ago) by ctl

updated comprehensive todo list.

---

Revision 2344 - Directory Listing
Modified Thu Apr 26 22:56:32 2007 UTC (2 years, 7 months ago) by golem

move alpaca source tree into the uia trunk

---

Revision 2339 - Directory Listing
Modified Fri Feb 2 21:24:17 2007 UTC (2 years, 9 months ago) by ctl
Original Path: branches/ctl/alpaca/trunk/certificate/notes

Change name PCP->Alpaca.

---

Revision 2296 - Directory Listing
Modified Wed Sep 6 21:09:03 2006 UTC (3 years, 2 months ago) by ctl
Original Path: branches/ctl/alpaca/trunk/certificate/notes

fix __future__ in wrong place;
add small demo harness
add some random notes;
set svn:ignore properties

---

Revision 2285 - Directory Listing
Modified Fri Jun 30 22:42:25 2006 UTC (3 years, 4 months ago) by ctl
Original Path: branches/ctl/alpaca/trunk/certificate/notes

just some notes to myself on linear logic.

---

Revision 2278 - Directory Listing
Modified Wed May 31 22:32:06 2006 UTC (3 years, 5 months ago) by ctl
Original Path: branches/ctl/alpaca/trunk/certificate/notes

package reorganization and some resultant renames and bugfixes

---

Revision 2264 - Directory Listing
Modified Mon Apr 24 07:41:51 2006 UTC (3 years, 7 months ago) by ctl
Original Path: branches/ctl/alpaca/trunk/certificate/notes

expanded ca endorsement theorem, sign using hash

---

Revision 2263 - Directory Listing
Modified Mon Apr 24 03:07:51 2006 UTC (3 years, 7 months ago) by ctl
Original Path: branches/ctl/alpaca/trunk/certificate/notes

readme, another related doc on proof compression, some tools

---

Revision 2228 - Directory Listing
Modified Thu Mar 30 23:04:22 2006 UTC (3 years, 7 months ago) by ctl
Original Path: branches/ctl/alpaca/trunk/certificate/notes

more tree reorg

---

Revision 2225 - Directory Listing
Added Thu Mar 30 22:56:33 2006 UTC (3 years, 7 months ago) by ctl
Original Path: branches/ctl/alpaca/trunk/certificate/notes

reorganize package