[e-cvs] cvs commit: e/doc/elib/capability/ode ode-capabilities.html

[markm@eros.cs.jhu.edu]

markm       01/10/17 12:15:56

  Modified:    doc/elib/capability/ode ode-capabilities.html
  Log:
  fixed capability definition.  Thanks Mark Seaborn

Revision  Changes    Path
1.42      +15 -15    e/doc/elib/capability/ode/ode-capabilities.html

Index: ode-capabilities.html
===================================================================
RCS file: /cvs/e/doc/elib/capability/ode/ode-capabilities.html,v
retrieving revision 1.41
retrieving revision 1.42
diff -u -r1.41 -r1.42
--- ode-capabilities.html	2001/09/30 23:43:22	1.41
+++ ode-capabilities.html	2001/10/17 16:15:56	1.42
@@ -160,15 +160,15 @@
             even if the two processes are communicating.</p>
         </li>
         <li>
-          <p><b><a name="ref-only"></a>All Authority Accessed Only by References</b>.
-            The authority an object has to affect the world outside of itself
-            should be exactly represented by the references it holds. All primitives
-            for interacting with the external world must be embodied by primitive
-            objects, and one must obtain references to these primitive objects
-            in order to exercise the associated primitive functions. Anything
-            globally accessible must therefor be transitively immutable, otherwise
-            it would constitute an unconditional source of authority not controlled
-            by the reference-passing rules [<a href="ode-references.html#Kahn88">Kahn88</a>,
+          <p><b><a name="ref-only"></a>All Authority Accessed Only by References</b>. 
+            The authority an object has to affect or be affected the world outside 
+            of itself should be exactly represented by the references it holds. 
+            All primitives for interacting with the external world must be embodied 
+            by primitive objects, and one must obtain references to these primitive 
+            objects in order to exercise the associated primitive functions. Anything 
+            globally accessible must therefor be transitively immutable, otherwise 
+            it would constitute an unconditional source of authority not controlled 
+            by the reference-passing rules [<a href="ode-references.html#Kahn88">Kahn88</a>, 
             <a href="ode-references.html#Rees96">Rees96</a>].</p>
         </li>
       </ol>
@@ -195,14 +195,14 @@
         envelope which can only be unsealed by the corresponding unsealer.
       <p>
       <blockquote>
-        <pre><b>? </b><i>def [sealer, unsealer] := BrandMaker pair("MarkM")</i><b>
-# value: [&lt;MarkM sealer&gt;, &lt;MarkM unsealer&gt;]
+        <pre><b>? </b><i>def [sealer, unsealer] := BrandMaker pair("MarkM")</i>
+<b># value: [&lt;MarkM sealer&gt;, &lt;MarkM unsealer&gt;]
 
-? </b><i>def envelope := sealer seal("Tuna")
-</i><b># value: &lt;sealed by MarkM&gt;
+? </b><i>def envelope := sealer seal("Tuna")</i>
+<b># value: &lt;sealed by MarkM&gt;
 
-? </b><i>unsealer unseal(envelope)
-</i><b># value: Tuna</b></pre>
+? </b><i>unsealer unseal(envelope)</i>
+<b># value: Tuna</b></pre>
       </blockquote>
       <p>If the envelope is the can and the unsealer is the can-opener (specific
         to this brand of cans), then <code>Tuna</code> is the food. <i>(The name-string