1 title = Isabelle/Scala |
1 title = Isabelle/Scala |
2 module = $ISABELLE_HOME/lib/classes/isabelle.jar |
2 module = $ISABELLE_HOME/lib/classes/isabelle.jar |
3 main = isabelle.jedit.Main |
3 main = isabelle.jedit.JEdit_Main |
4 resources = \ |
4 resources = \ |
5 lib/services/java.nio.charset.spi.CharsetProvider:META-INF/services/ \ |
5 lib/services/java.nio.charset.spi.CharsetProvider:META-INF/services/ \ |
6 lib/logo/isabelle_transparent-32.gif:isabelle/ \ |
6 lib/logo/isabelle_transparent-32.gif:isabelle/ \ |
7 lib/logo/isabelle_transparent.gif:isabelle/ |
7 lib/logo/isabelle_transparent.gif:isabelle/ |
8 sources = \ |
8 sources = \ |
244 src/Tools/jEdit/src/isabelle_session.scala \ |
244 src/Tools/jEdit/src/isabelle_session.scala \ |
245 src/Tools/jEdit/src/isabelle_vfs.scala \ |
245 src/Tools/jEdit/src/isabelle_vfs.scala \ |
246 src/Tools/jEdit/src/jedit_bibtex.scala \ |
246 src/Tools/jEdit/src/jedit_bibtex.scala \ |
247 src/Tools/jEdit/src/jedit_editor.scala \ |
247 src/Tools/jEdit/src/jedit_editor.scala \ |
248 src/Tools/jEdit/src/jedit_lib.scala \ |
248 src/Tools/jEdit/src/jedit_lib.scala \ |
|
249 src/Tools/jEdit/src/jedit_main.scala \ |
249 src/Tools/jEdit/src/jedit_options.scala \ |
250 src/Tools/jEdit/src/jedit_options.scala \ |
250 src/Tools/jEdit/src/jedit_plugins.scala \ |
251 src/Tools/jEdit/src/jedit_plugins.scala \ |
251 src/Tools/jEdit/src/jedit_rendering.scala \ |
252 src/Tools/jEdit/src/jedit_rendering.scala \ |
252 src/Tools/jEdit/src/jedit_resources.scala \ |
253 src/Tools/jEdit/src/jedit_resources.scala \ |
253 src/Tools/jEdit/src/jedit_sessions.scala \ |
254 src/Tools/jEdit/src/jedit_sessions.scala \ |
254 src/Tools/jEdit/src/jedit_spell_checker.scala \ |
255 src/Tools/jEdit/src/jedit_spell_checker.scala \ |
255 src/Tools/jEdit/src/keymap_merge.scala \ |
256 src/Tools/jEdit/src/keymap_merge.scala \ |
256 src/Tools/jEdit/src/main.scala \ |
|
257 src/Tools/jEdit/src/main_plugin.scala \ |
257 src/Tools/jEdit/src/main_plugin.scala \ |
258 src/Tools/jEdit/src/monitor_dockable.scala \ |
258 src/Tools/jEdit/src/monitor_dockable.scala \ |
259 src/Tools/jEdit/src/output_dockable.scala \ |
259 src/Tools/jEdit/src/output_dockable.scala \ |
260 src/Tools/jEdit/src/pide_docking_framework.scala \ |
260 src/Tools/jEdit/src/pide_docking_framework.scala \ |
261 src/Tools/jEdit/src/pretty_text_area.scala \ |
261 src/Tools/jEdit/src/pretty_text_area.scala \ |