Fixed long-standing 64-bit constants bug, by dropping C enumerations in favor of...
[barrelfish] / doc / 002-mackerel /
drwxr-xr-x   ..
-rw-r--r-- 528 Hakefile
-rw-r--r-- 72886 Mackerel.tex