diff -r 8dcf4349cf6f -r 05d9a05f9d15 lib/jedit/plugin/isabelle_parser.scala
--- a/lib/jedit/plugin/isabelle_parser.scala	Thu Aug 28 19:31:13 2008 +0200
+++ b/lib/jedit/plugin/isabelle_parser.scala	Thu Aug 28 19:31:55 2008 +0200
@@ -11,13 +11,11 @@
 import javax.swing.tree.DefaultMutableTreeNode
 import javax.swing.tree.DefaultTreeModel
 
-import org.gjt.sp.jedit.Buffer
+import org.gjt.sp.jedit.{Buffer, EditPane}
 import org.gjt.sp.util.Log
 
-import sidekick.Asset
-import sidekick.SideKickParsedData
-import sidekick.SideKickParser
 import errorlist.DefaultErrorSource
+import sidekick.{Asset, SideKickParser, SideKickParsedData, SideKickCompletion}
 
 
 private class IsabelleAsset(name: String, content: String) extends Asset(name)
@@ -29,6 +27,9 @@
 
 
 class IsabelleParser extends SideKickParser("isabelle") {
+
+  /* parsing */
+
   private var stopped = false
 
   override def stop () { stopped = true }
@@ -58,5 +59,14 @@
 
     data
   }
+
+
+  /* completion */
+
+  override def supportsCompletion = true
+  override def canCompleteAnywhere = true
+
+  override def complete(pane: EditPane, caret: Int): SideKickCompletion = null
+
 }