[PPL-devel] composite/examples Readme coherence-ref1-2 coh ...

[Roberto Bagnara]

CVSROOT:	/cvs/alv
Module name:	composite
Changes by:	roberto at spartacus.cs.unipr.it	03/01/08 11:41:03

Added files:
	examples       : Readme coherence-ref1-2 coherence-ref3 
	                 coherence-ref4 coherence-ref5 coherence1-2 
	                 coherence3 coherence4 coherence5 
	                 insertionsort.al pc10.al pc5.al quicksort.al 
	                 rw16.al rw32.al rw4.al rw64.al rw8.al sis1.al 
	                 sis3.al statechart.al ticket2i.al ticket2l.al 
	                 ticket3i.al ticket3l.al 

Log message:
	New examples from Composite 0.2.