order of headings in derivation table

[Imported from Trac: page Capabilities, version 8]
davidsarah 2010-07-01 02:36:36 +00:00
parent a60ffd190e
commit 76192498df

@ -30,12 +30,12 @@ uploaded into immutable files by default.
Some capabilities can be used to derive others. If you have #1, you can Some capabilities can be used to derive others. If you have #1, you can
derive #2 (but not the other way around). The full table is: derive #2 (but not the other way around). The full table is:
verify write read write read verify
------------------- --------------------
#1 -> #2 #1 -> #2
#4 -> #5 -> #6 #4 -> #5 -> #6
#7 -> #8 #7 -> #8
#10 -> #11 -> #12 #10 -> #11 -> #12
Deriving a weaker capability from a strong one is called "diminishing" the stronger one. Deriving a weaker capability from a strong one is called "diminishing" the stronger one.