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.
src/Tools/jEdit/lib/Tools/jedit
changeset 53914 48072f049838
parent 53883 f1c5f857df3d
child 54660 d9c88171b393 
--- a/src/Tools/jEdit/lib/Tools/jedit	Thu Sep 26 12:56:59 2013 +0200
+++ b/src/Tools/jEdit/lib/Tools/jedit	Thu Sep 26 13:28:26 2013 +0200
@@ -28,7 +28,6 @@
   "src/jedit_options.scala"
   "src/jedit_thy_load.scala"
   "src/monitor_dockable.scala"
-  "src/osx_adapter.scala"
   "src/output_dockable.scala"
   "src/plugin.scala"
   "src/pretty_text_area.scala"
isabelle