Remove unused _propagate_ argument to Create Term Definition, and errant use in a call to IRI Compaction.

Fixes #233.

Author: gkellogg

index.html

@@ -1439,9 +1439,8 @@ <h3>Algorithm</h3>
               <var>context</var> for <var>local context</var>, <var>key</var>,
               <var>defined</var>,
               <span class="changed">
-                the value of the <code>@protected</code>
-                entry from <var>context</var>, if any, for <var>protected</var>,
-                and <var>propagate</var>
+                and the value of the <code>@protected</code>
+                entry from <var>context</var>, if any, for <var>protected</var>
               </span>.
             </li>
           </ol>
@@ -1489,15 +1488,14 @@ <h3>Overview</h3>
     <section class="algorithm">
       <h3>Algorithm</h3>
 
-      <p>The algorithm has four required <span class="changed">and three optional</span> inputs.
+      <p>The algorithm has four required <span class="changed">and two optional</span> inputs.
         The required inputs are
         an <var>active context</var>, a <var>local context</var>,
         a <var>term</var>, and a map <var>defined</var>.
         <span class="changed">The optional inputs are
           <var>protected</var> which defaults to <code>false</code>,
-          <var>override protected</var>, defaulting to <code>false</code>,
-          which is used to allow changes to protected terms,
-          and <var>propagate</var>, defaulting to <code>true</code>.</span>.
+          and <var>override protected</var>, defaulting to <code>false</code>,
+          which is used to allow changes to protected terms.</span>.
         </p>
       <ol>
         <li>If <var>defined</var> contains the <a>entry</a> <var>term</var> and the associated
@@ -2467,9 +2465,8 @@ <h3>Algorithm</h3>
               has a <a>local context</a>, set <var>active context</var> to the result
               to the result of the
               <a href="#context-processing-algorithm">Context Processing algorithm</a>,
-              passing <var>active context</var>, the value of the
-              <var>term</var>'s <a>local context</a> as <var>local context</var>,
-              <span class="changed">and <code>true</code> for <var>propagate</var></span>.</li>
+              passing <var>active context</var>, and the value of the
+              <var>term</var>'s <a>local context</a> as <var>local context</var>.</li>
           </ol>
         </li>
         <li>Initialize two empty <a class="changed">maps</a>, <var>result</var>
@@ -3425,8 +3422,8 @@ <h3>Algorithm</h3>
           by transforming each <var>expanded type</var> of that <a>entry</a>
           into its compacted form using the <a href="#iri-compaction">IRI Compaction algorithm</a>,
           passing <var>active context</var>, <var>inverse context</var>,
-          <var>expanded type</var> for <var>var</var>, <code>true</code> for <var>vocab</var>,
-          and <code>false</code> for <var>propagate</var>.
+          <var>expanded type</var> for <var>var</var>,
+          and <code>true</code> for <var>vocab</var>.
           Then, for each <var>term</var>
           in <var>compacted types</var> ordered lexicographically:
           <ol>