Initial version of public stable barrelfish repository.
[barrelfish] / doc / 010-spec / Spec.tex
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.