Mercurial Mercurial > repos > isabelle / annotate
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.
etc/build.props
author wenzelm
Sun, 03 Nov 2024 19:38:30 +0100
changeset 81323 33fbf90fbc1d
parent 81309 ccdbe1b538fc
child 81336 40af19b10f8a
permissions -rw-r--r--
clarified signature: more explicit types;
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
75291
e4d6b9bd5071 clarified module name;
wenzelm
parents: 75289
diff changeset 
     3
 
main = isabelle.jedit.JEdit_Main
73987
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_doc.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
    15
 
  src/Pure/Admin/build_history.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
    16
 
  src/Pure/Admin/build_log.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
    17
 
  src/Pure/Admin/build_release.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
    18
 
  src/Pure/Admin/build_status.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
    19
 
  src/Pure/Admin/check_sources.scala \
80002
ee449ca91c3b build bash_process in Isabelle/Scala, with etc/platforms.prop to preserve all platform directories (e.g. for SSH upload);
wenzelm
parents: 79976
diff changeset 
    20
 
  src/Pure/Admin/component_bash_process.scala \
77566
2a99fcb283ee renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
wenzelm
parents: 77477
diff changeset 
    21
 
  src/Pure/Admin/component_csdp.scala \
2a99fcb283ee renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
wenzelm
parents: 77477
diff changeset 
    22
 
  src/Pure/Admin/component_cvc5.scala \
2a99fcb283ee renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
wenzelm
parents: 77477
diff changeset 
    23
 
  src/Pure/Admin/component_cygwin.scala \
2a99fcb283ee renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
wenzelm
parents: 77477
diff changeset 
    24
 
  src/Pure/Admin/component_e.scala \
2a99fcb283ee renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
wenzelm
parents: 77477
diff changeset 
    25
 
  src/Pure/Admin/component_easychair.scala \
2a99fcb283ee renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
wenzelm
parents: 77477
diff changeset 
    26
 
  src/Pure/Admin/component_eptcs.scala \
2a99fcb283ee renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
wenzelm
parents: 77477
diff changeset 
    27
 
  src/Pure/Admin/component_foiltex.scala \
2a99fcb283ee renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
wenzelm
parents: 77477
diff changeset 
    28
 
  src/Pure/Admin/component_fonts.scala \
78746
a748a244a028 add component build tool for hugo from afp-devel;
Fabian Huch <huch@in.tum.de>
parents: 78415
diff changeset 
    29
 
  src/Pure/Admin/component_hugo.scala \
78827
06f0e720b913 added component for javax mail;
Fabian Huch <huch@in.tum.de>
parents: 78746
diff changeset 
    30
 
  src/Pure/Admin/component_javamail.scala \
77566
2a99fcb283ee renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
wenzelm
parents: 77477
diff changeset 
    31
 
  src/Pure/Admin/component_jdk.scala \
2a99fcb283ee renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
wenzelm
parents: 77477
diff changeset 
    32
 
  src/Pure/Admin/component_jedit.scala \
77619
6d0985955872 discontinued apache-commons in favour of jsoup, which is smaller and more useful;
wenzelm
parents: 77571
diff changeset 
    33
 
  src/Pure/Admin/component_jsoup.scala \
77566
2a99fcb283ee renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
wenzelm
parents: 77477
diff changeset 
    34
 
  src/Pure/Admin/component_lipics.scala \
2a99fcb283ee renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
wenzelm
parents: 77477
diff changeset 
    35
 
  src/Pure/Admin/component_llncs.scala \
2a99fcb283ee renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
wenzelm
parents: 77477
diff changeset 
    36
 
  src/Pure/Admin/component_minisat.scala \
79951
84f2d481d6d7 update to mlton-20210117-2, which covers x86_64-linux, x86_64-darwin, arm64-darwin;
wenzelm
parents: 79873
diff changeset 
    37
 
  src/Pure/Admin/component_mlton.scala \
77566
2a99fcb283ee renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
wenzelm
parents: 77477
diff changeset 
    38
 
  src/Pure/Admin/component_pdfjs.scala \
2a99fcb283ee renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
wenzelm
parents: 77477
diff changeset 
    39
 
  src/Pure/Admin/component_polyml.scala \
2a99fcb283ee renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
wenzelm
parents: 77477
diff changeset 
    40
 
  src/Pure/Admin/component_postgresql.scala \
2a99fcb283ee renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
wenzelm
parents: 77477
diff changeset 
    41
 
  src/Pure/Admin/component_prismjs.scala \
77753
2b5b093a1c08 build rsync from sources, to avoid divergence of protocols on various platforms;
wenzelm
parents: 77619
diff changeset 
    42
 
  src/Pure/Admin/component_rsync.scala \
77566
2a99fcb283ee renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
wenzelm
parents: 77477
diff changeset 
    43
 
  src/Pure/Admin/component_scala.scala \
2a99fcb283ee renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
wenzelm
parents: 77477
diff changeset 
    44
 
  src/Pure/Admin/component_spass.scala \
2a99fcb283ee renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
wenzelm
parents: 77477
diff changeset 
    45
 
  src/Pure/Admin/component_sqlite.scala \
78301
9776f5278ae8 provide tool for GHC stack component;
wenzelm
parents: 78178
diff changeset 
    46
 
  src/Pure/Admin/component_stack.scala \
77566
2a99fcb283ee renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
wenzelm
parents: 77477
diff changeset 
    47
 
  src/Pure/Admin/component_vampire.scala \
2a99fcb283ee renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
wenzelm
parents: 77477
diff changeset 
    48
 
  src/Pure/Admin/component_verit.scala \
80027
64e57aafca1e tuned order;
wenzelm
parents: 80026
diff changeset 
    49
 
  src/Pure/Admin/component_windows_app.scala \
77566
2a99fcb283ee renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
wenzelm
parents: 77477
diff changeset 
    50
 
  src/Pure/Admin/component_zipperposition.scala \
2a99fcb283ee renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
wenzelm
parents: 77477
diff changeset 
    51
 
  src/Pure/Admin/component_zstd.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
    52
 
  src/Pure/Admin/isabelle_cronjob.scala \
79502
c7a98469c0e7 clarified directories;
wenzelm
parents: 79498
diff changeset 
    53
 
  src/Pure/Build/browser_info.scala \
c7a98469c0e7 clarified directories;
wenzelm
parents: 79498
diff changeset 
    54
 
  src/Pure/Build/build.scala \
79620
3914bca631b9 clarified directories;
wenzelm
parents: 79603
diff changeset 
    55
 
  src/Pure/Build/build_benchmark.scala \
80412
a7f8249533e9 moved ci_build module to build_ci;
Fabian Huch <huch@in.tum.de>
parents: 80411
diff changeset 
    56
 
  src/Pure/Build/build_ci.scala \
79502
c7a98469c0e7 clarified directories;
wenzelm
parents: 79498
diff changeset 
    57
 
  src/Pure/Build/build_cluster.scala \
c7a98469c0e7 clarified directories;
wenzelm
parents: 79498
diff changeset 
    58
 
  src/Pure/Build/build_job.scala \
c7a98469c0e7 clarified directories;
wenzelm
parents: 79498
diff changeset 
    59
 
  src/Pure/Build/build_process.scala \
80246
245dd5f82462 add build manager module;
Fabian Huch <huch@in.tum.de>
parents: 80059
diff changeset 
    60
 
  src/Pure/Build/build_manager.scala \
79502
c7a98469c0e7 clarified directories;
wenzelm
parents: 79498
diff changeset 
    61
 
  src/Pure/Build/build_schedule.scala \
79873
6c19c29ddcbe clarified modules;
wenzelm
parents: 79642
diff changeset 
    62
 
  src/Pure/Build/database_progress.scala \
79502
c7a98469c0e7 clarified directories;
wenzelm
parents: 79498
diff changeset 
    63
 
  src/Pure/Build/export.scala \
c7a98469c0e7 clarified directories;
wenzelm
parents: 79498
diff changeset 
    64
 
  src/Pure/Build/export_theory.scala \
c7a98469c0e7 clarified directories;
wenzelm
parents: 79498
diff changeset 
    65
 
  src/Pure/Build/file_format.scala \
c7a98469c0e7 clarified directories;
wenzelm
parents: 79498
diff changeset 
    66
 
  src/Pure/Build/resources.scala \
c7a98469c0e7 clarified directories;
wenzelm
parents: 79498
diff changeset 
    67
 
  src/Pure/Build/sessions.scala \
c7a98469c0e7 clarified directories;
wenzelm
parents: 79498
diff changeset 
    68
 
  src/Pure/Build/store.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
    69
 
  src/Pure/Concurrent/consumer_thread.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
    70
 
  src/Pure/Concurrent/counter.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
    71
 
  src/Pure/Concurrent/delay.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
    72
 
  src/Pure/Concurrent/event_timer.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
    73
 
  src/Pure/Concurrent/future.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
    74
 
  src/Pure/Concurrent/isabelle_thread.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
    75
 
  src/Pure/Concurrent/mailbox.scala \
79603
9f002cdb6b8d clarified modules, following Isabelle/ML;
wenzelm
parents: 79569
diff changeset 
    76
 
  src/Pure/Concurrent/multithreading.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
    77
 
  src/Pure/Concurrent/par_list.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
    78
 
  src/Pure/Concurrent/synchronized.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
    79
 
  src/Pure/GUI/color_value.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
    80
 
  src/Pure/GUI/desktop_app.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
    81
 
  src/Pure/GUI/gui.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
    82
 
  src/Pure/GUI/gui_thread.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
    83
 
  src/Pure/GUI/popup.scala \
81323
33fbf90fbc1d clarified signature: more explicit types;
wenzelm
parents: 81309
diff changeset 
    84
 
  src/Pure/GUI/tree_view.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
    85
 
  src/Pure/GUI/wrap_panel.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
    86
 
  src/Pure/General/antiquote.scala \
75620
44815dc2b8f9 clarified modules;
wenzelm
parents: 75555
diff changeset 
    87
 
  src/Pure/General/base64.scala \
79503
c67b47cd41dc clarified directories;
wenzelm
parents: 79502
diff changeset 
    88
 
  src/Pure/General/bibtex.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
    89
 
  src/Pure/General/bytes.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
    90
 
  src/Pure/General/cache.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
    91
 
  src/Pure/General/codepoint.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
    92
 
  src/Pure/General/comment.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
    93
 
  src/Pure/General/completion.scala \
76351
2cee31cd92f0 generic support for XZ and Zstd compression in Isabelle/Scala;
wenzelm
parents: 76348
diff changeset 
    94
 
  src/Pure/General/compress.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
    95
 
  src/Pure/General/csv.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
    96
 
  src/Pure/General/date.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
    97
 
  src/Pure/General/exn.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
    98
 
  src/Pure/General/file.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
    99
 
  src/Pure/General/file_watcher.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   100
 
  src/Pure/General/graph.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   101
 
  src/Pure/General/graph_display.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   102
 
  src/Pure/General/graphics_file.scala \
79498
752188c16c22 clarified directories;
wenzelm
parents: 78939
diff changeset 
   103
 
  src/Pure/General/html.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   104
 
  src/Pure/General/http.scala \
76507
78a2030240f1 support for JavaScript syntax and Node.js platform;
wenzelm
parents: 76478
diff changeset 
   105
 
  src/Pure/General/js.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   106
 
  src/Pure/General/json.scala \
74946
0dd14d8b16da support for JSON:API;
wenzelm
parents: 74945
diff changeset 
   107
 
  src/Pure/General/json_api.scala \
79503
c67b47cd41dc clarified directories;
wenzelm
parents: 79502
diff changeset 
   108
 
  src/Pure/General/latex.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   109
 
  src/Pure/General/linear_set.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   110
 
  src/Pure/General/logger.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   111
 
  src/Pure/General/long_name.scala \
78829
58315c8a5cc4 added mail module;
Fabian Huch <huch@in.tum.de>
parents: 78827
diff changeset 
   112
 
  src/Pure/General/mail.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   113
 
  src/Pure/General/mailman.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   114
 
  src/Pure/General/mercurial.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   115
 
  src/Pure/General/multi_map.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   116
 
  src/Pure/General/output.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   117
 
  src/Pure/General/path.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   118
 
  src/Pure/General/position.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   119
 
  src/Pure/General/pretty.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   120
 
  src/Pure/General/properties.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   121
 
  src/Pure/General/rdf.scala \
75523
0dcaf0e5107b clarified modules;
wenzelm
parents: 75481
diff changeset 
   122
 
  src/Pure/General/rsync.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   123
 
  src/Pure/General/scan.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   124
 
  src/Pure/General/sha1.scala \
77109
e3a2b3536030 prefer typed bytes count, but retain toString of original Long for robustness of Java/Scala string composition;
wenzelm
parents: 76991
diff changeset 
   125
 
  src/Pure/General/space.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   126
 
  src/Pure/General/sql.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   127
 
  src/Pure/General/ssh.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   128
 
  src/Pure/General/symbol.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   129
 
  src/Pure/General/time.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   130
 
  src/Pure/General/timing.scala \
78316
be8aaaa4ac25 added TOML module from afp;
Fabian Huch <huch@in.tum.de>
parents: 78315
diff changeset 
   131
 
  src/Pure/General/toml.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   132
 
  src/Pure/General/untyped.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   133
 
  src/Pure/General/url.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   134
 
  src/Pure/General/utf8.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   135
 
  src/Pure/General/uuid.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   136
 
  src/Pure/General/value.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   137
 
  src/Pure/General/word.scala \
76348
a15f16e8ad18 support for Zstd data compression;
wenzelm
parents: 76222
diff changeset 
   138
 
  src/Pure/General/zstd.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   139
 
  src/Pure/Isar/document_structure.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   140
 
  src/Pure/Isar/keyword.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   141
 
  src/Pure/Isar/line_structure.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   142
 
  src/Pure/Isar/outer_syntax.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   143
 
  src/Pure/Isar/parse.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   144
 
  src/Pure/Isar/token.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   145
 
  src/Pure/ML/ml_console.scala \
76991
6a078c80eab6 clarified modules;
wenzelm
parents: 76850
diff changeset 
   146
 
  src/Pure/ML/ml_heap.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   147
 
  src/Pure/ML/ml_lex.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   148
 
  src/Pure/ML/ml_process.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   149
 
  src/Pure/ML/ml_profiling.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   150
 
  src/Pure/ML/ml_statistics.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   151
 
  src/Pure/ML/ml_syntax.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   152
 
  src/Pure/PIDE/byte_message.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   153
 
  src/Pure/PIDE/command.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   154
 
  src/Pure/PIDE/command_span.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   155
 
  src/Pure/PIDE/document.scala \
76606
3558388330f8 clarified modules;
wenzelm
parents: 76566
diff changeset 
   156
 
  src/Pure/PIDE/document_editor.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   157
 
  src/Pure/PIDE/document_id.scala \
75907
091edca12219 clarified modules;
wenzelm
parents: 75816
diff changeset 
   158
 
  src/Pure/PIDE/document_info.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   159
 
  src/Pure/PIDE/document_status.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   160
 
  src/Pure/PIDE/editor.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   161
 
  src/Pure/PIDE/headless.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   162
 
  src/Pure/PIDE/line.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   163
 
  src/Pure/PIDE/markup.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   164
 
  src/Pure/PIDE/markup_tree.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   165
 
  src/Pure/PIDE/protocol.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   166
 
  src/Pure/PIDE/protocol_handlers.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   167
 
  src/Pure/PIDE/protocol_message.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   168
 
  src/Pure/PIDE/prover.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   169
 
  src/Pure/PIDE/query_operation.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   170
 
  src/Pure/PIDE/rendering.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   171
 
  src/Pure/PIDE/session.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   172
 
  src/Pure/PIDE/text.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   173
 
  src/Pure/PIDE/xml.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   174
 
  src/Pure/PIDE/yxml.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   175
 
  src/Pure/ROOT.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   176
 
  src/Pure/System/bash.scala \
75702
97e8f4c938bf clarified modules;
wenzelm
parents: 75628
diff changeset 
   177
 
  src/Pure/System/classpath.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   178
 
  src/Pure/System/command_line.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   179
 
  src/Pure/System/components.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   180
 
  src/Pure/System/executable.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   181
 
  src/Pure/System/getopts.scala \
77475
3bc611c80346 clarified modules;
wenzelm
parents: 77330
diff changeset 
   182
 
  src/Pure/System/host.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   183
 
  src/Pure/System/isabelle_charset.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   184
 
  src/Pure/System/isabelle_fonts.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   185
 
  src/Pure/System/isabelle_platform.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   186
 
  src/Pure/System/isabelle_process.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   187
 
  src/Pure/System/isabelle_system.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   188
 
  src/Pure/System/isabelle_tool.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   189
 
  src/Pure/System/java_statistics.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   190
 
  src/Pure/System/linux.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   191
 
  src/Pure/System/mingw.scala \
76507
78a2030240f1 support for JavaScript syntax and Node.js platform;
wenzelm
parents: 76478
diff changeset 
   192
 
  src/Pure/System/nodejs.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   193
 
  src/Pure/System/options.scala \
78415
a4dee214dfcf clarified file location: to be used by regular Isabelle/Scala tools;
wenzelm
parents: 78398
diff changeset 
   194
 
  src/Pure/System/other_isabelle.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   195
 
  src/Pure/System/platform.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   196
 
  src/Pure/System/posix_interrupt.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   197
 
  src/Pure/System/process_result.scala \
79873
6c19c29ddcbe clarified modules;
wenzelm
parents: 79642
diff changeset 
   198
 
  src/Pure/System/program_progress.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   199
 
  src/Pure/System/progress.scala \
78939
218929597048 support for global registry;
wenzelm
parents: 78872
diff changeset 
   200
 
  src/Pure/System/registry.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   201
 
  src/Pure/System/scala.scala \
80021
ba06861e91f9 proper services for Setup_Tool --- avoid hardwired stuff;
wenzelm
parents: 80011
diff changeset 
   202
 
  src/Pure/System/setup_tool.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   203
 
  src/Pure/System/system_channel.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   204
 
  src/Pure/System/tty_loop.scala \
80059
37ea0727291f moved web_app module from AFP (e.g., for building web services for the distributed build);
Fabian Huch <huch@in.tum.de>
parents: 80027
diff changeset 
   205
 
  src/Pure/System/web_app.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   206
 
  src/Pure/Thy/document_build.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   207
 
  src/Pure/Thy/thy_element.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   208
 
  src/Pure/Thy/thy_header.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   209
 
  src/Pure/Thy/thy_syntax.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   210
 
  src/Pure/Tools/check_keywords.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   211
 
  src/Pure/Tools/debugger.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   212
 
  src/Pure/Tools/doc.scala \
77571
643146163fd1 proper file-name (amending b975f5aaf6b8);
wenzelm
parents: 77566
diff changeset 
   213
 
  src/Pure/Tools/docker_build.scala \
76458
cc6fd1695294 support for Dotnet / Fsharp platform, via dynamically installed Isabelle component;
wenzelm
parents: 76454
diff changeset 
   214
 
  src/Pure/Tools/dotnet_setup.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   215
 
  src/Pure/Tools/dump.scala \
74945
4dc90b43ba94 support for Flarum server;
wenzelm
parents: 74482
diff changeset 
   216
 
  src/Pure/Tools/flarum.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   217
 
  src/Pure/Tools/fontforge.scala \
80011
b082476a8036 dynamic setup of Go component, similar to Dotnet;
wenzelm
parents: 80002
diff changeset 
   218
 
  src/Pure/Tools/go_setup.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   219
 
  src/Pure/Tools/java_monitor.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   220
 
  src/Pure/Tools/logo.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   221
 
  src/Pure/Tools/mkroot.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   222
 
  src/Pure/Tools/phabricator.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   223
 
  src/Pure/Tools/print_operation.scala \
76508
ecb9e6d29698 support for the Prism.js syntax highlighter -- via external Node.js process;
wenzelm
parents: 76507
diff changeset 
   224
 
  src/Pure/Tools/prismjs.scala \
78315
addecc8de2c4 proper system integration and renaming;
wenzelm
parents: 78301
diff changeset 
   225
 
  src/Pure/Tools/profiling.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   226
 
  src/Pure/Tools/profiling_report.scala \
74055
0ee44ed80290 clarified signature;
wenzelm
parents: 74029
diff changeset 
   227
 
  src/Pure/Tools/scala_build.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   228
 
  src/Pure/Tools/scala_project.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   229
 
  src/Pure/Tools/server.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   230
 
  src/Pure/Tools/server_commands.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   231
 
  src/Pure/Tools/simplifier_trace.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   232
 
  src/Pure/Tools/spell_checker.scala \
75555
197a5b3a1ea2 promote "isabelle sync" to regular user-space tool, with proper documentation;
wenzelm
parents: 75549
diff changeset 
   233
 
  src/Pure/Tools/sync.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   234
 
  src/Pure/Tools/task_statistics.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   235
 
  src/Pure/Tools/update_cartouches.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   236
 
  src/Pure/Tools/update_comments.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   237
 
  src/Pure/Tools/update_then.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   238
 
  src/Pure/Tools/update_theorems.scala \
80273
f55a11cd3b71 clarified name: avoid clash with Library.Update;
wenzelm
parents: 80270
diff changeset 
   239
 
  src/Pure/Tools/update_tool.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   240
 
  src/Pure/library.scala \
80270
1d4300506338 clarified signature;
wenzelm
parents: 80246
diff changeset 
   241
 
  src/Pure/name.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   242
 
  src/Pure/pure_thy.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   243
 
  src/Pure/term.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   244
 
  src/Pure/term_xml.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   245
 
  src/Pure/thm_name.scala \
80274
cff00b3dddf5 clarified names;
wenzelm
parents: 80273
diff changeset 
   246
 
  src/Pure/update.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   247
 
  src/Tools/Graphview/graph_file.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   248
 
  src/Tools/Graphview/graph_panel.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   249
 
  src/Tools/Graphview/graphview.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   250
 
  src/Tools/Graphview/layout.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   251
 
  src/Tools/Graphview/main_panel.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   252
 
  src/Tools/Graphview/metrics.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   253
 
  src/Tools/Graphview/model.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   254
 
  src/Tools/Graphview/mutator.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   255
 
  src/Tools/Graphview/mutator_dialog.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   256
 
  src/Tools/Graphview/mutator_event.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   257
 
  src/Tools/Graphview/popups.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   258
 
  src/Tools/Graphview/shapes.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   259
 
  src/Tools/Graphview/tree_panel.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   260
 
  src/Tools/VSCode/src/channel.scala \
77566
2a99fcb283ee renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
wenzelm
parents: 77477
diff changeset 
   261
 
  src/Tools/VSCode/src/component_vscode_extension.scala \
2a99fcb283ee renamed administrative tools to build Isabelle components (unrelated to "isabelle build");
wenzelm
parents: 77477
diff changeset 
   262
 
  src/Tools/VSCode/src/component_vscodium.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   263
 
  src/Tools/VSCode/src/dynamic_output.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   264
 
  src/Tools/VSCode/src/language_server.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   265
 
  src/Tools/VSCode/src/lsp.scala \
81054
4bfcb14547c6 lsp: added Pretty_Text_Panel module;
Thomas Lindae <thomas.lindae@in.tum.de>
parents: 80883
diff changeset 
   266
 
  src/Tools/VSCode/src/pretty_text_panel.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   267
 
  src/Tools/VSCode/src/preview_panel.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   268
 
  src/Tools/VSCode/src/state_panel.scala \
75292
4ce0a4d90dfa run Isabelle/VSCode via Scala;
wenzelm
parents: 75291
diff changeset 
   269
 
  src/Tools/VSCode/src/vscode_main.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   270
 
  src/Tools/VSCode/src/vscode_model.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   271
 
  src/Tools/VSCode/src/vscode_rendering.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   272
 
  src/Tools/VSCode/src/vscode_resources.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   273
 
  src/Tools/VSCode/src/vscode_spell_checker.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   274
 
  src/Tools/jEdit/src/active.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   275
 
  src/Tools/jEdit/src/base_plugin.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   276
 
  src/Tools/jEdit/src/completion_popup.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   277
 
  src/Tools/jEdit/src/context_menu.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   278
 
  src/Tools/jEdit/src/debugger_dockable.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   279
 
  src/Tools/jEdit/src/dockable.scala \
75816
91f02f224b80 basic setup for document build panel;
wenzelm
parents: 75702
diff changeset 
   280
 
  src/Tools/jEdit/src/document_dockable.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   281
 
  src/Tools/jEdit/src/document_model.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   282
 
  src/Tools/jEdit/src/document_view.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   283
 
  src/Tools/jEdit/src/documentation_dockable.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   284
 
  src/Tools/jEdit/src/fold_handling.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   285
 
  src/Tools/jEdit/src/font_info.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   286
 
  src/Tools/jEdit/src/graphview_dockable.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   287
 
  src/Tools/jEdit/src/info_dockable.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   288
 
  src/Tools/jEdit/src/isabelle.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   289
 
  src/Tools/jEdit/src/isabelle_encoding.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   290
 
  src/Tools/jEdit/src/isabelle_export.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   291
 
  src/Tools/jEdit/src/isabelle_session.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   292
 
  src/Tools/jEdit/src/isabelle_vfs.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   293
 
  src/Tools/jEdit/src/jedit_bibtex.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   294
 
  src/Tools/jEdit/src/jedit_editor.scala \
76552
13fde66c7cf6 more direct access to jEdit jar resources, without unzip;
wenzelm
parents: 76528
diff changeset 
   295
 
  src/Tools/jEdit/src/jedit_jar.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   296
 
  src/Tools/jEdit/src/jedit_lib.scala \
75291
e4d6b9bd5071 clarified module name;
wenzelm
parents: 75289
diff changeset 
   297
 
  src/Tools/jEdit/src/jedit_main.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   298
 
  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 
   299
 
  src/Tools/jEdit/src/jedit_plugins.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   300
 
  src/Tools/jEdit/src/jedit_rendering.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   301
 
  src/Tools/jEdit/src/jedit_resources.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   302
 
  src/Tools/jEdit/src/jedit_sessions.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   303
 
  src/Tools/jEdit/src/jedit_spell_checker.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   304
 
  src/Tools/jEdit/src/keymap_merge.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   305
 
  src/Tools/jEdit/src/main_plugin.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   306
 
  src/Tools/jEdit/src/monitor_dockable.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   307
 
  src/Tools/jEdit/src/output_dockable.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   308
 
  src/Tools/jEdit/src/pide_docking_framework.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   309
 
  src/Tools/jEdit/src/pretty_text_area.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   310
 
  src/Tools/jEdit/src/pretty_tooltip.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   311
 
  src/Tools/jEdit/src/process_indicator.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   312
 
  src/Tools/jEdit/src/protocol_dockable.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   313
 
  src/Tools/jEdit/src/query_dockable.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   314
 
  src/Tools/jEdit/src/raw_output_dockable.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   315
 
  src/Tools/jEdit/src/rich_text_area.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   316
 
  src/Tools/jEdit/src/session_build.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   317
 
  src/Tools/jEdit/src/simplifier_trace_dockable.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   318
 
  src/Tools/jEdit/src/simplifier_trace_window.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   319
 
  src/Tools/jEdit/src/sledgehammer_dockable.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   320
 
  src/Tools/jEdit/src/state_dockable.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   321
 
  src/Tools/jEdit/src/status_widget.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   322
 
  src/Tools/jEdit/src/symbols_dockable.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   323
 
  src/Tools/jEdit/src/syntax_style.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   324
 
  src/Tools/jEdit/src/syslog_dockable.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   325
 
  src/Tools/jEdit/src/text_overview.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   326
 
  src/Tools/jEdit/src/text_structure.scala \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   327
 
  src/Tools/jEdit/src/theories_dockable.scala \
76566
318c6b466ec0 clarified modules;
wenzelm
parents: 76552
diff changeset 
   328
 
  src/Tools/jEdit/src/theories_status.scala \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   329
 
  src/Tools/jEdit/src/timing_dockable.scala \
81309
ccdbe1b538fc clarified modules: more re-usable;
wenzelm
parents: 81054
diff changeset 
   330
 
  src/Tools/jEdit/src/token_markup.scala \
ccdbe1b538fc clarified modules: more re-usable;
wenzelm
parents: 81054
diff changeset 
   331
 
  src/Tools/jEdit/src/tree_text_area.scala
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   332
 
services = \
74147
d030b988d470 provide bash_process server for Isabelle/ML and other external programs;
wenzelm
parents: 74055
diff changeset 
   333
 
  isabelle.Bash$Handler \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   334
 
  isabelle.Bibtex$File_Format \
79642
1b0668acf319 clarified signature;
wenzelm
parents: 79640
diff changeset 
   335
 
  isabelle.Build$Engine$Default \
79640
7a2b86a48be0 prefer static object, while class is required for "services";
wenzelm
parents: 79620
diff changeset 
   336
 
  isabelle.Build_Schedule$Build_Engine \
80411
a9fce67fb8b2 overhauled ci_build: clarified, removed unused, removed implicit Jenkins assumptions;
Fabian Huch <huch@in.tum.de>
parents: 80274
diff changeset 
   337
 
  isabelle.CI_Jobs \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   338
 
  isabelle.Document_Build$Build_Engine \
76454
f2d17e69e520 clarified options: support lualatex as well, but prefer old pdflatex for demos;
wenzelm
parents: 76451
diff changeset 
   339
 
  isabelle.Document_Build$LIPIcs_LuaLaTeX_Engine \
f2d17e69e520 clarified options: support lualatex as well, but prefer old pdflatex for demos;
wenzelm
parents: 76451
diff changeset 
   340
 
  isabelle.Document_Build$LIPIcs_PDFLaTeX_Engine \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   341
 
  isabelle.Document_Build$LuaLaTeX_Engine \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   342
 
  isabelle.Document_Build$PDFLaTeX_Engine \
80026
a03a7d4b82f8 more Setup_Tool services;
wenzelm
parents: 80021
diff changeset 
   343
 
  isabelle.Dotnet_Setup \
80027
64e57aafca1e tuned order;
wenzelm
parents: 80026
diff changeset 
   344
 
  isabelle.GHC_Setup \
80026
a03a7d4b82f8 more Setup_Tool services;
wenzelm
parents: 80021
diff changeset 
   345
 
  isabelle.Go_Setup \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   346
 
  isabelle.ML_Statistics$Handler \
80021
ba06861e91f9 proper services for Setup_Tool --- avoid hardwired stuff;
wenzelm
parents: 80011
diff changeset 
   347
 
  isabelle.OCaml_Setup \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   348
 
  isabelle.Print_Operation$Handler \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   349
 
  isabelle.Scala$Handler \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   350
 
  isabelle.Scala_Functions \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   351
 
  isabelle.Server_Commands \
76850
7082c5df5df6 tuned signature;
wenzelm
parents: 76606
diff changeset 
   352
 
  isabelle.Sessions$ROOTS_File_Format \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   353
 
  isabelle.Simplifier_Trace$Handler \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   354
 
  isabelle.Tools \
74429
fedc0b659881 provide Isabelle/jEdit plugins as services, and thus allow user components do the same;
wenzelm
parents: 74147
diff changeset 
   355
 
  isabelle.jedit.JEdit_Plugin0 \
fedc0b659881 provide Isabelle/jEdit plugins as services, and thus allow user components do the same;
wenzelm
parents: 74147
diff changeset 
   356
 
  isabelle.jedit.JEdit_Plugin1 \
76552
13fde66c7cf6 more direct access to jEdit jar resources, without unzip;
wenzelm
parents: 76528
diff changeset 
   357
 
  isabelle.jedit.JEdit_JAR$Scala_Functions \
73987
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   358
 
  isabelle.nitpick.Kodkod$Handler \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   359
 
  isabelle.nitpick.Scala_Functions \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   360
 
  isabelle.spark.SPARK$Load_Command1 \
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit;
wenzelm
parents:
diff changeset 
   361
 
  isabelle.spark.SPARK$Load_Command2
isabelle