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 56585 a0e844c6e1ed
parent 56547 e9bb73d7b6cf
child 56664 8ff8e5d00115 
--- a/src/Tools/jEdit/lib/Tools/jedit	Tue Apr 15 10:44:38 2014 +0200
+++ b/src/Tools/jEdit/lib/Tools/jedit	Tue Apr 15 11:05:48 2014 +0200
@@ -10,6 +10,7 @@
 declare -a SOURCES=(
   "src/active.scala"
   "src/completion_popup.scala"
+  "src/context_menu.scala"
   "src/dockable.scala"
   "src/document_model.scala"
   "src/document_view.scala"
isabelle