src/Tools/jEdit/src/jedit/isabelle_hyperlinks.scala

--- a/src/Tools/jEdit/src/jedit/isabelle_hyperlinks.scala	Fri May 28 20:41:23 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/isabelle_hyperlinks.scala	Fri May 28 21:17:59 2010 +0200
@@ -38,8 +38,8 @@
 
 class Isabelle_Hyperlinks extends HyperlinkSource
 {
-	def getHyperlink(buffer: Buffer, original_offset: Int): Hyperlink =
-	{
+  def getHyperlink(buffer: Buffer, original_offset: Int): Hyperlink =
+  {
     Document_Model(buffer) match {
       case Some(model) =>
         val document = model.recent_document()