Typo in Technical Note 010: Barrelfish Specification.
[barrelfish] / doc / 010-spec /
drwxr-xr-x   ..
-rw-r--r-- 1193 Hakefile
-rw-r--r-- 35304 Spec.tex
-rw-r--r-- 639 app_cspace.dot
-rw-r--r-- 474 cap_types.dot
-rw-r--r-- 488 disp_states_simple.circo
-rw-r--r-- 569 disp_states_simple_save_area_analysis.dot
-rw-r--r-- 698 init_cspace.dot