diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/Lexicon.html | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/docs/Lexicon.html b/docs/Lexicon.html index 7ee52b4331..355306bb7e 100644 --- a/docs/Lexicon.html +++ b/docs/Lexicon.html @@ -30,6 +30,12 @@ <td></td> <td></td> </tr> + <tr><td colspan="8"><b>- <a href="#B">B</a> -</b></td></tr> + <tr> + <td><a href="#BURS">BURS</a></td> + <td></td> + <td></td> + </tr> <tr><td colspan="8"><b>- <a href="#D">D</a> -</b></td></tr> <tr> <td><a href="#DSE">DSE</a></td> @@ -69,6 +75,14 @@ </dl> </div> <!-- _______________________________________________________________________ --> +<div class="doc_subsection"><a name="B">- B -</a></div> +<div class="doc_text"> + <dl> + <dt><a name="BURS"><b>BURS</b></a></dt> + <dd>Bottom Up Rewriting System</dd> + </dl> +</div> +<!-- _______________________________________________________________________ --> <div class="doc_subsection"><a name="D">- D -</a></div> <div class="doc_text"> <dl> |