Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/jedit/plugin/dockables.xml
changeset 27985 fb774d10ea4c
parent 25851 606850a6fc1a 
--- a/lib/jedit/plugin/dockables.xml	Sun Aug 24 17:23:42 2008 +0200
+++ b/lib/jedit/plugin/dockables.xml	Sun Aug 24 18:11:20 2008 +0200
@@ -4,7 +4,7 @@
 
 <DOCKABLES>
 	<DOCKABLE NAME="isabelle" MOVABLE="TRUE">
-		new isabelle.IsabelleDock(view, position);
+		new isabelle.jedit.IsabelleDock(view, position);
 	</DOCKABLE>
 </DOCKABLES>
isabelle