ese languages were never tested with BinNavi and are 
		therefore not officially supported.</p>
		<h3><a href="scripting_usage.htm">Scripting</a></h3>
		<p>All BinNavi windows have a menu 
		that opens a scripting dialog. This section explains 
		how to use this dialog to execute scripts that can access BinNavi 
		internals.</p>
		<h3><a href="plugins.htm">Plugins</a></h3>
		<p>Plugins are BinNavi extensions that are larger in scope and size than 
		script files. You can write plugins to extend BinNavi 
		a