# HG changeset patch
# User wenzelm
# Date 1246044084 -7200
# Node ID 7d16987b73dedaa45be119a1415dd2d38c24c730
# Parent  313fcd844129128fbee6ea95f1f2f1fc29d38572
removes VFS service -- superceded by UTF-8-Isabelle encoding;

diff -r 313fcd844129 -r 7d16987b73de src/Tools/jEdit/plugin/services.xml
--- a/src/Tools/jEdit/plugin/services.xml	Fri Jun 26 21:20:50 2009 +0200
+++ b/src/Tools/jEdit/plugin/services.xml	Fri Jun 26 21:21:24 2009 +0200
@@ -1,9 +1,6 @@
 <?xml version="1.0"?>
 <!DOCTYPE SERVICES SYSTEM "services.dtd">
 <SERVICES>
-	<SERVICE NAME="isabelle" CLASS="org.gjt.sp.jedit.io.VFS">
-		new isabelle.jedit.VFS();
-	</SERVICE>
 	<SERVICE NAME="UTF-8-Isabelle" CLASS="org.gjt.sp.jedit.io.Encoding">
 		new isabelle.jedit.IsabelleEncoding();
 	</SERVICE>