source: doc @ 26da2a0

Name	Size	Rev	Age	Author	Last Change
../
bibliography		3ada8ae	4 years	pabuhr	update bibliography entry for SP&E CFA concurrency paper
copyright		bc37a83	8 years	pabuhr	copyright transfer for Andrew Beach
LaTeXmacros		cc022a9	3 years	pabuhr	clean up macros and add defaultdialect={CFA}
man		41096dc	4 years	pabuhr	update cfa 'man' page
NDA		f4e3419d	7 years	pabuhr	restructure paper documents
papers		17d6214	4 years	pabuhr	final emails about proof changes
proposals		936d95c	4 years	ajbeach	The vtable proposal now notes how the assotiated types proposal might …
refrat		14d71ed	4 years	pabuhr	update to CFAStyle macro
related_papers		84b4ed72	7 years	pabuhr	multiple assignment paper
theses		26da2a0	3 years	pabuhr	convert changes to latex and adjust macros slightly to build
user		fa4915c	3 years	pabuhr	update macros to reflect changed to common macros, remove otype
working		c2409fd	4 years	caparson	added WIP unified semaphore code

Property mode set to 040000