@@ -244,10 +244,10 @@
 </dd>
 
 <script>explorer.outline.writeEnabled = true;</script>
 <dt><span class="decl">AST 
-<span class="currsymbol">init</span>
-<script>explorer.outline.addDecl('init');</script>
+<span class="currsymbol">vdef</span>
+<script>explorer.outline.addDecl('vdef');</script>
 
 ;
 </span></dt>
 <script>explorer.outline.writeEnabled = false;</script>
@@ -593,9 +593,9 @@
 </td></tr>
 		<tr><td id="docfooter">
 			Page was generated with
 			<img src="candydoc/img/candydoc.gif" style="vertical-align:middle; position:relative; top:-1px">
-			on Sat Nov 27 01:17:56 2010
+			on Sat Nov 27 21:45:06 2010
 
 		</td></tr>
 	</table>
 </div>