source:
doc
@
e014c6d
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
working | c2409fd | 4 years | added WIP unified semaphore code | ||
user | fa4915c | 3 years | update macros to reflect changed to common macros, remove otype | ||
theses | e46ea00 | 3 years | augment introduction chapter with places for extension | ||
related_papers | 84b4ed72 | 6 years | multiple assignment paper | ||
refrat | 14d71ed | 4 years | update to CFAStyle macro | ||
proposals | 936d95c | 4 years | The vtable proposal now notes how the assotiated types proposal might … | ||
papers | 17d6214 | 4 years | final emails about proof changes | ||
NDA | f4e3419d | 7 years | restructure paper documents | ||
man | 41096dc | 4 years | update cfa 'man' page | ||
LaTeXmacros | cc022a9 | 3 years | clean up macros and add defaultdialect={CFA} | ||
copyright | bc37a83 | 7 years | copyright transfer for Andrew Beach | ||
bibliography | 3ada8ae | 4 years | update bibliography entry for SP&E CFA concurrency paper |
|
Note: See TracBrowser
for help on using the repository browser.