Programming Languages Research Group: Git

Added sync monitor for pool of mutexes
Simplified monitor interface
Fix doc bugs

cds/memory/vyukov_queue_pool.h		diff \| blob \| history
cds/sync/injecting_monitor.h		diff \| blob \| history
cds/sync/lock_array.h		diff \| blob \| history
cds/sync/monitor.h		diff \| blob \| history
cds/sync/pool_monitor.h	[new file with mode: 0644]	blob
projects/Win/vc12/cds.vcxproj		diff \| blob \| history
projects/Win/vc12/cds.vcxproj.filters		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.