doc: tn13: update capability type section
[barrelfish] / doc / 013-capability-mgmt / type_system.tex
2017-06-02 Simon Gerberdoc: tn13: update capability type section
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.