Typo in Technical Note 010: Barrelfish Specification.
[barrelfish] / doc / 010-spec / Spec.tex
2012-05-05 Raphael FuchsTypo in Technical Note 010: Barrelfish Specification.
2011-12-28 Zeus Gómez MarmolejoReplaced caddr_t type with capaddr_t to avoid conflict...
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.