Tidying up techical notes
[barrelfish] / doc / 013-capability-mgmt / type_system.tex
2013-12-12 MothyTidying up techical notes
2012-05-05 Raphael FuchsTypo in Technical Note 013.
2012-01-27 Mark NevillUpdated parts of the cap TN, minor style changes.
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.