--- sml/trunk/src/cm/tools/burg-ext.cm	2000/01/12 06:26:25	518
+++ sml/trunk/src/cm/tools/burg-ext.cm	2000/01/12 06:40:12	519
@@ -1,3 +1,12 @@
+(*
+ * A pointer to the plugin library for ML-Burg.
+ *   (For each to-be-recognized file name suffix <s>, a copy of this
+ *    file should be created and stored under the name <s>-ext.cm.)
+ *
+ * (C) 2000 Lucent Technologies, Bell Laboratories
+ *
+ * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
+ *)
 Library
 	structure BurgTool
 is

<script type="text/javascript">//<![CDATA[
		function toggle_ffErrors() {
			var errorsblock = document.getElementById("ffErrorsBlock");
			var errorsgroup = document.getElementById("ffErrors");
			if (errorsblock.style.display == "none") {
				errorsblock.style.display = "block";
				errorsgroup.style.right = "10px";
			} else {
				errorsblock.style.display = "none";
				errorsgroup.style.right = "300px";
			}
		}
//]]></script>
<div id="ffErrors">
<a href="javascript:toggle_ffErrors();">Click to toggle</a>
<div id="ffErrorsBlock">
	<div class="error">does not end with &lt;/html&gt; tag</div>
	<div class="error">does not end with &lt;/body&gt; tag</div>
	<div class="info">The output has ended thus: s
+ *
+ * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
+ *)
 Library
 	structure BurgTool
 is</div>
</div></div>
</body></html>