etc/build.props
author desharna
Wed, 20 Oct 2021 09:31:37 +0200
changeset 74554 67c4004495f2
parent 74482 bd5998580edb
permissions -rw-r--r--
merged
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
74029
0701ff55780d clarified build_props: empty module means no build;
wenzelm
parents: 73987
diff changeset
     1
title = Isabelle/Scala
0701ff55780d clarified build_props: empty module means no build;
wenzelm
parents: 73987
diff changeset
     2
module = $ISABELLE_HOME/lib/classes/isabelle.jar
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
     3
main = isabelle.jedit.Main
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
     4
resources = \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
     5
  lib/services/java.nio.charset.spi.CharsetProvider:META-INF/services/ \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
     6
  lib/logo/isabelle_transparent-32.gif:isabelle/ \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
     7
  lib/logo/isabelle_transparent.gif:isabelle/
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
     8
sources = \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
     9
  src/HOL/SPARK/Tools/spark.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    10
  src/HOL/Tools/ATP/system_on_tptp.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    11
  src/HOL/Tools/Mirabelle/mirabelle.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    12
  src/HOL/Tools/Nitpick/kodkod.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    13
  src/Pure/Admin/afp.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    14
  src/Pure/Admin/build_csdp.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    15
  src/Pure/Admin/build_cygwin.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    16
  src/Pure/Admin/build_doc.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    17
  src/Pure/Admin/build_e.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    18
  src/Pure/Admin/build_fonts.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    19
  src/Pure/Admin/build_history.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    20
  src/Pure/Admin/build_jcef.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    21
  src/Pure/Admin/build_jdk.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    22
  src/Pure/Admin/build_jedit.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    23
  src/Pure/Admin/build_log.scala \
74482
bd5998580edb build minisat, using recent fork from original sources;
wenzelm
parents: 74429
diff changeset
    24
  src/Pure/Admin/build_minisat.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    25
  src/Pure/Admin/build_polyml.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    26
  src/Pure/Admin/build_release.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    27
  src/Pure/Admin/build_spass.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    28
  src/Pure/Admin/build_sqlite.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    29
  src/Pure/Admin/build_status.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    30
  src/Pure/Admin/build_vampire.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    31
  src/Pure/Admin/build_verit.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    32
  src/Pure/Admin/build_zipperposition.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    33
  src/Pure/Admin/check_sources.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    34
  src/Pure/Admin/ci_profile.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    35
  src/Pure/Admin/isabelle_cronjob.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    36
  src/Pure/Admin/isabelle_devel.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    37
  src/Pure/Admin/jenkins.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    38
  src/Pure/Admin/other_isabelle.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    39
  src/Pure/Concurrent/consumer_thread.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    40
  src/Pure/Concurrent/counter.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    41
  src/Pure/Concurrent/delay.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    42
  src/Pure/Concurrent/event_timer.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    43
  src/Pure/Concurrent/future.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    44
  src/Pure/Concurrent/isabelle_thread.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    45
  src/Pure/Concurrent/mailbox.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    46
  src/Pure/Concurrent/par_list.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    47
  src/Pure/Concurrent/synchronized.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    48
  src/Pure/GUI/color_value.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    49
  src/Pure/GUI/desktop_app.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    50
  src/Pure/GUI/gui.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    51
  src/Pure/GUI/gui_thread.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    52
  src/Pure/GUI/popup.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    53
  src/Pure/GUI/wrap_panel.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    54
  src/Pure/General/antiquote.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    55
  src/Pure/General/bytes.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    56
  src/Pure/General/cache.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    57
  src/Pure/General/codepoint.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    58
  src/Pure/General/comment.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    59
  src/Pure/General/completion.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    60
  src/Pure/General/csv.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    61
  src/Pure/General/date.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    62
  src/Pure/General/exn.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    63
  src/Pure/General/file.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    64
  src/Pure/General/file_watcher.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    65
  src/Pure/General/graph.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    66
  src/Pure/General/graph_display.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    67
  src/Pure/General/graphics_file.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    68
  src/Pure/General/http.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    69
  src/Pure/General/json.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    70
  src/Pure/General/linear_set.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    71
  src/Pure/General/logger.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    72
  src/Pure/General/long_name.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    73
  src/Pure/General/mailman.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    74
  src/Pure/General/mercurial.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    75
  src/Pure/General/multi_map.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    76
  src/Pure/General/output.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    77
  src/Pure/General/path.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    78
  src/Pure/General/position.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    79
  src/Pure/General/pretty.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    80
  src/Pure/General/properties.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    81
  src/Pure/General/rdf.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    82
  src/Pure/General/scan.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    83
  src/Pure/General/sha1.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    84
  src/Pure/General/sql.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    85
  src/Pure/General/ssh.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    86
  src/Pure/General/symbol.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    87
  src/Pure/General/time.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    88
  src/Pure/General/timing.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    89
  src/Pure/General/untyped.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    90
  src/Pure/General/url.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    91
  src/Pure/General/utf8.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    92
  src/Pure/General/uuid.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    93
  src/Pure/General/value.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    94
  src/Pure/General/word.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    95
  src/Pure/General/xz.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    96
  src/Pure/Isar/document_structure.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    97
  src/Pure/Isar/keyword.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    98
  src/Pure/Isar/line_structure.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
    99
  src/Pure/Isar/outer_syntax.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   100
  src/Pure/Isar/parse.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   101
  src/Pure/Isar/token.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   102
  src/Pure/ML/ml_console.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   103
  src/Pure/ML/ml_lex.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   104
  src/Pure/ML/ml_process.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   105
  src/Pure/ML/ml_profiling.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   106
  src/Pure/ML/ml_statistics.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   107
  src/Pure/ML/ml_syntax.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   108
  src/Pure/PIDE/byte_message.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   109
  src/Pure/PIDE/command.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   110
  src/Pure/PIDE/command_span.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   111
  src/Pure/PIDE/document.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   112
  src/Pure/PIDE/document_id.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   113
  src/Pure/PIDE/document_status.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   114
  src/Pure/PIDE/editor.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   115
  src/Pure/PIDE/headless.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   116
  src/Pure/PIDE/line.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   117
  src/Pure/PIDE/markup.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   118
  src/Pure/PIDE/markup_tree.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   119
  src/Pure/PIDE/protocol.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   120
  src/Pure/PIDE/protocol_handlers.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   121
  src/Pure/PIDE/protocol_message.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   122
  src/Pure/PIDE/prover.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   123
  src/Pure/PIDE/query_operation.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   124
  src/Pure/PIDE/rendering.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   125
  src/Pure/PIDE/resources.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   126
  src/Pure/PIDE/session.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   127
  src/Pure/PIDE/text.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   128
  src/Pure/PIDE/xml.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   129
  src/Pure/PIDE/yxml.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   130
  src/Pure/ROOT.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   131
  src/Pure/System/bash.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   132
  src/Pure/System/command_line.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   133
  src/Pure/System/components.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   134
  src/Pure/System/executable.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   135
  src/Pure/System/getopts.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   136
  src/Pure/System/isabelle_charset.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   137
  src/Pure/System/isabelle_fonts.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   138
  src/Pure/System/isabelle_platform.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   139
  src/Pure/System/isabelle_process.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   140
  src/Pure/System/isabelle_system.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   141
  src/Pure/System/isabelle_tool.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   142
  src/Pure/System/java_statistics.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   143
  src/Pure/System/linux.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   144
  src/Pure/System/mingw.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   145
  src/Pure/System/numa.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   146
  src/Pure/System/options.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   147
  src/Pure/System/platform.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   148
  src/Pure/System/posix_interrupt.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   149
  src/Pure/System/process_result.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   150
  src/Pure/System/progress.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   151
  src/Pure/System/scala.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   152
  src/Pure/System/system_channel.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   153
  src/Pure/System/tty_loop.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   154
  src/Pure/Thy/bibtex.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   155
  src/Pure/Thy/document_build.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   156
  src/Pure/Thy/export.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   157
  src/Pure/Thy/export_theory.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   158
  src/Pure/Thy/file_format.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   159
  src/Pure/Thy/html.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   160
  src/Pure/Thy/latex.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   161
  src/Pure/Thy/presentation.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   162
  src/Pure/Thy/sessions.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   163
  src/Pure/Thy/thy_element.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   164
  src/Pure/Thy/thy_header.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   165
  src/Pure/Thy/thy_syntax.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   166
  src/Pure/Tools/build.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   167
  src/Pure/Tools/build_docker.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   168
  src/Pure/Tools/build_job.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   169
  src/Pure/Tools/check_keywords.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   170
  src/Pure/Tools/debugger.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   171
  src/Pure/Tools/doc.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   172
  src/Pure/Tools/dump.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   173
  src/Pure/Tools/fontforge.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   174
  src/Pure/Tools/java_monitor.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   175
  src/Pure/Tools/logo.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   176
  src/Pure/Tools/mkroot.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   177
  src/Pure/Tools/phabricator.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   178
  src/Pure/Tools/print_operation.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   179
  src/Pure/Tools/profiling_report.scala \
74055
0ee44ed80290 clarified signature;
wenzelm
parents: 74029
diff changeset
   180
  src/Pure/Tools/scala_build.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   181
  src/Pure/Tools/scala_project.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   182
  src/Pure/Tools/server.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   183
  src/Pure/Tools/server_commands.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   184
  src/Pure/Tools/simplifier_trace.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   185
  src/Pure/Tools/spell_checker.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   186
  src/Pure/Tools/task_statistics.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   187
  src/Pure/Tools/update.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   188
  src/Pure/Tools/update_cartouches.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   189
  src/Pure/Tools/update_comments.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   190
  src/Pure/Tools/update_header.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   191
  src/Pure/Tools/update_then.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   192
  src/Pure/Tools/update_theorems.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   193
  src/Pure/library.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   194
  src/Pure/pure_thy.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   195
  src/Pure/term.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   196
  src/Pure/term_xml.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   197
  src/Pure/thm_name.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   198
  src/Tools/Graphview/graph_file.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   199
  src/Tools/Graphview/graph_panel.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   200
  src/Tools/Graphview/graphview.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   201
  src/Tools/Graphview/layout.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   202
  src/Tools/Graphview/main_panel.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   203
  src/Tools/Graphview/metrics.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   204
  src/Tools/Graphview/model.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   205
  src/Tools/Graphview/mutator.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   206
  src/Tools/Graphview/mutator_dialog.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   207
  src/Tools/Graphview/mutator_event.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   208
  src/Tools/Graphview/popups.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   209
  src/Tools/Graphview/shapes.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   210
  src/Tools/Graphview/tree_panel.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   211
  src/Tools/VSCode/src/build_vscode.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   212
  src/Tools/VSCode/src/channel.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   213
  src/Tools/VSCode/src/dynamic_output.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   214
  src/Tools/VSCode/src/language_server.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   215
  src/Tools/VSCode/src/lsp.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   216
  src/Tools/VSCode/src/preview_panel.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   217
  src/Tools/VSCode/src/state_panel.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   218
  src/Tools/VSCode/src/textmate_grammar.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   219
  src/Tools/VSCode/src/vscode_model.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   220
  src/Tools/VSCode/src/vscode_rendering.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   221
  src/Tools/VSCode/src/vscode_resources.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   222
  src/Tools/VSCode/src/vscode_spell_checker.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   223
  src/Tools/jEdit/src/active.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   224
  src/Tools/jEdit/src/base_plugin.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   225
  src/Tools/jEdit/src/completion_popup.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   226
  src/Tools/jEdit/src/context_menu.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   227
  src/Tools/jEdit/src/debugger_dockable.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   228
  src/Tools/jEdit/src/dockable.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   229
  src/Tools/jEdit/src/document_model.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   230
  src/Tools/jEdit/src/document_view.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   231
  src/Tools/jEdit/src/documentation_dockable.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   232
  src/Tools/jEdit/src/fold_handling.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   233
  src/Tools/jEdit/src/font_info.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   234
  src/Tools/jEdit/src/graphview_dockable.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   235
  src/Tools/jEdit/src/info_dockable.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   236
  src/Tools/jEdit/src/isabelle.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   237
  src/Tools/jEdit/src/isabelle_encoding.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   238
  src/Tools/jEdit/src/isabelle_export.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   239
  src/Tools/jEdit/src/isabelle_options.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   240
  src/Tools/jEdit/src/isabelle_session.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   241
  src/Tools/jEdit/src/isabelle_vfs.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   242
  src/Tools/jEdit/src/jedit_bibtex.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   243
  src/Tools/jEdit/src/jedit_editor.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   244
  src/Tools/jEdit/src/jedit_lib.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   245
  src/Tools/jEdit/src/jedit_options.scala \
74429
fedc0b659881 provide Isabelle/jEdit plugins as services, and thus allow user components do the same;
wenzelm
parents: 74147
diff changeset
   246
  src/Tools/jEdit/src/jedit_plugins.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   247
  src/Tools/jEdit/src/jedit_rendering.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   248
  src/Tools/jEdit/src/jedit_resources.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   249
  src/Tools/jEdit/src/jedit_sessions.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   250
  src/Tools/jEdit/src/jedit_spell_checker.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   251
  src/Tools/jEdit/src/keymap_merge.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   252
  src/Tools/jEdit/src/main.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   253
  src/Tools/jEdit/src/main_plugin.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   254
  src/Tools/jEdit/src/monitor_dockable.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   255
  src/Tools/jEdit/src/output_dockable.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   256
  src/Tools/jEdit/src/pide_docking_framework.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   257
  src/Tools/jEdit/src/pretty_text_area.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   258
  src/Tools/jEdit/src/pretty_tooltip.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   259
  src/Tools/jEdit/src/process_indicator.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   260
  src/Tools/jEdit/src/protocol_dockable.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   261
  src/Tools/jEdit/src/query_dockable.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   262
  src/Tools/jEdit/src/raw_output_dockable.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   263
  src/Tools/jEdit/src/rich_text_area.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   264
  src/Tools/jEdit/src/session_build.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   265
  src/Tools/jEdit/src/simplifier_trace_dockable.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   266
  src/Tools/jEdit/src/simplifier_trace_window.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   267
  src/Tools/jEdit/src/sledgehammer_dockable.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   268
  src/Tools/jEdit/src/state_dockable.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   269
  src/Tools/jEdit/src/status_widget.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   270
  src/Tools/jEdit/src/symbols_dockable.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   271
  src/Tools/jEdit/src/syntax_style.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   272
  src/Tools/jEdit/src/syslog_dockable.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   273
  src/Tools/jEdit/src/text_overview.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   274
  src/Tools/jEdit/src/text_structure.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   275
  src/Tools/jEdit/src/theories_dockable.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   276
  src/Tools/jEdit/src/timing_dockable.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   277
  src/Tools/jEdit/src/token_markup.scala
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   278
services = \
74147
d030b988d470 provide bash_process server for Isabelle/ML and other external programs;
wenzelm
parents: 74055
diff changeset
   279
  isabelle.Bash$Handler \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   280
  isabelle.Bibtex$File_Format \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   281
  isabelle.Document_Build$Build_Engine \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   282
  isabelle.Document_Build$LuaLaTeX_Engine \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   283
  isabelle.Document_Build$PDFLaTeX_Engine \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   284
  isabelle.ML_Statistics$Handler \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   285
  isabelle.Print_Operation$Handler \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   286
  isabelle.Scala$Handler \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   287
  isabelle.Scala_Functions \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   288
  isabelle.Server_Commands \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   289
  isabelle.Sessions$File_Format \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   290
  isabelle.Simplifier_Trace$Handler \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   291
  isabelle.Tools \
74429
fedc0b659881 provide Isabelle/jEdit plugins as services, and thus allow user components do the same;
wenzelm
parents: 74147
diff changeset
   292
  isabelle.jedit.JEdit_Plugin0 \
fedc0b659881 provide Isabelle/jEdit plugins as services, and thus allow user components do the same;
wenzelm
parents: 74147
diff changeset
   293
  isabelle.jedit.JEdit_Plugin1 \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   294
  isabelle.nitpick.Kodkod$Handler \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   295
  isabelle.nitpick.Scala_Functions \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   296
  isabelle.spark.SPARK$Load_Command1 \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset
   297
  isabelle.spark.SPARK$Load_Command2