Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removes VFS service -- superceded by UTF-8-Isabelle encoding;
authorwenzelm
Fri, 26 Jun 2009 21:21:24 +0200
changeset 34628 7d16987b73de
parent 34627 313fcd844129
child 34629 fdc1087a970f
removes VFS service -- superceded by UTF-8-Isabelle encoding;
src/Tools/jEdit/plugin/services.xml file | annotate | diff | comparison | revisions 
--- 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>
isabelle