Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. tuned;
  3. misc tuning based on hints by IntelliJ IDEA;
  4. clarified signature;
  5. clarified signature;
  6. clarified signature;
  7. clarified signature;
  8. tuned;
  9. clarified signature: more accurate session_base_info.sessions_structure;
  10. clarified signature;
  11. added lemma
Changeset 71603:8e0eece7058d by wenzelm:
merged
Changeset 71602:d5502ee7c141 by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_fonts.scala (diff)
The file was modified src/Pure/Admin/build_jdk.scala (diff)
The file was modified src/Pure/Admin/jenkins.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 71601:97ccf48c2f0c by wenzelm:
misc tuning based on hints by IntelliJ IDEA;
The file was modified src/Pure/Admin/afp.scala (diff)
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/build_jdk.scala (diff)
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/Admin/components.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was modified src/Pure/Admin/isabelle_devel.scala (diff)
The file was modified src/Pure/Admin/jenkins.scala (diff)
The file was modified src/Pure/Admin/other_isabelle.scala (diff)
The file was modified src/Pure/General/csv.scala (diff)
The file was modified src/Pure/General/date.scala (diff)
The file was modified src/Pure/General/exn.scala (diff)
The file was modified src/Pure/General/file.scala (diff)
The file was modified src/Pure/General/graph.scala (diff)
The file was modified src/Pure/General/json.scala (diff)
The file was modified src/Pure/General/linear_set.scala (diff)
The file was modified src/Pure/General/mercurial.scala (diff)
The file was modified src/Pure/General/multi_map.scala (diff)
The file was modified src/Pure/General/path.scala (diff)
The file was modified src/Pure/General/pretty.scala (diff)
The file was modified src/Pure/General/properties.scala (diff)
The file was modified src/Pure/General/scan.scala (diff)
The file was modified src/Pure/General/sql.scala (diff)
The file was modified src/Pure/General/ssh.scala (diff)
The file was modified src/Pure/General/symbol.scala (diff)
The file was modified src/Pure/General/url.scala (diff)
The file was modified src/Pure/General/value.scala (diff)
The file was modified src/Pure/General/word.scala (diff)
The file was modified src/Pure/Isar/keyword.scala (diff)
The file was modified src/Pure/Isar/line_structure.scala (diff)
The file was modified src/Pure/Isar/outer_syntax.scala (diff)
The file was modified src/Pure/Isar/token.scala (diff)
The file was modified src/Pure/ML/ml_statistics.scala (diff)
The file was modified src/Pure/ML/ml_syntax.scala (diff)
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/PIDE/document_id.scala (diff)
The file was modified src/Pure/PIDE/document_status.scala (diff)
The file was modified src/Pure/PIDE/headless.scala (diff)
The file was modified src/Pure/PIDE/markup.scala (diff)
The file was modified src/Pure/PIDE/protocol.scala (diff)
The file was modified src/Pure/PIDE/prover.scala (diff)
The file was modified src/Pure/PIDE/rendering.scala (diff)
The file was modified src/Pure/PIDE/session.scala (diff)
The file was modified src/Pure/PIDE/xml.scala (diff)
The file was modified src/Pure/PIDE/yxml.scala (diff)
The file was modified src/Pure/System/bash.scala (diff)
The file was modified src/Pure/System/getopts.scala (diff)
The file was modified src/Pure/System/invoke_scala.scala (diff)
The file was modified src/Pure/System/numa.scala (diff)
The file was modified src/Pure/System/options.scala (diff)
The file was modified src/Pure/System/progress.scala (diff)
The file was modified src/Pure/Thy/export.scala (diff)
The file was modified src/Pure/Thy/export_theory.scala (diff)
The file was modified src/Pure/Thy/file_format.scala (diff)
The file was modified src/Pure/Thy/html.scala (diff)
The file was modified src/Pure/Thy/latex.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Thy/thy_syntax.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/debugger.scala (diff)
The file was modified src/Pure/Tools/doc.scala (diff)
The file was modified src/Pure/Tools/dump.scala (diff)
The file was modified src/Pure/Tools/fontforge.scala (diff)
The file was modified src/Pure/Tools/phabricator.scala (diff)
The file was modified src/Pure/Tools/print_operation.scala (diff)
The file was modified src/Pure/Tools/server.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
The file was modified src/Pure/Tools/spell_checker.scala (diff)
The file was modified src/Pure/Tools/update_cartouches.scala (diff)
The file was modified src/Pure/library.scala (diff)
The file was modified src/Pure/term.scala (diff)
The file was modified src/Tools/Graphview/graph_file.scala (diff)
The file was modified src/Tools/Graphview/graphview.scala (diff)
The file was modified src/Tools/Graphview/layout.scala (diff)
The file was modified src/Tools/Graphview/model.scala (diff)
The file was modified src/Tools/Graphview/mutator.scala (diff)
The file was modified src/Tools/Graphview/mutator_dialog.scala (diff)
The file was modified src/Tools/VSCode/src/grammar.scala (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
The file was modified src/Tools/jEdit/src/completion_popup.scala (diff)
The file was modified src/Tools/jEdit/src/debugger_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
The file was modified src/Tools/jEdit/src/document_view.scala (diff)
The file was modified src/Tools/jEdit/src/isabelle.scala (diff)
The file was modified src/Tools/jEdit/src/isabelle_options.scala (diff)
The file was modified src/Tools/jEdit/src/isabelle_sidekick.scala (diff)
The file was modified src/Tools/jEdit/src/isabelle_vfs.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_editor.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_lib.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_options.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_rendering.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_resources.scala (diff)
The file was modified src/Tools/jEdit/src/output_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/plugin.scala (diff)
The file was modified src/Tools/jEdit/src/pretty_tooltip.scala (diff)
The file was modified src/Tools/jEdit/src/query_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/rich_text_area.scala (diff)
The file was modified src/Tools/jEdit/src/scala_console.scala (diff)
The file was modified src/Tools/jEdit/src/session_build.scala (diff)
The file was modified src/Tools/jEdit/src/sledgehammer_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/state_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/symbols_dockable.scala (diff)
The file was modified src/Tools/jEdit/src/syntax_style.scala (diff)
The file was modified src/Tools/jEdit/src/text_structure.scala (diff)
Changeset 71600:64aad1e46f98 by wenzelm:
clarified signature;
The file was modified src/Pure/PIDE/headless.scala (diff)
Changeset 71599:23d0a45a9283 by wenzelm:
clarified signature;
The file was modified src/Pure/PIDE/headless.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
Changeset 71598:269dc4bf1f40 by wenzelm:
clarified signature;
The file was modified src/Pure/ML/ml_console.scala (diff)
The file was modified src/Pure/ML/ml_process.scala (diff)
The file was modified src/Pure/PIDE/headless.scala (diff)
The file was modified src/Pure/System/isabelle_process.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_sessions.scala (diff)
Changeset 71597:d025735a4090 by wenzelm:
clarified signature;
The file was modified src/Pure/PIDE/headless.scala (diff)
The file was modified src/Pure/System/isabelle_process.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_sessions.scala (diff)
Changeset 71596:817e26a03198 by wenzelm:
tuned;
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 71595:01d92325ddab by wenzelm:
clarified signature: more accurate session_base_info.sessions_structure;
The file was modified src/Pure/PIDE/headless.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 71594:8a298184f3f9 by wenzelm:
clarified signature;
The file was modified src/Pure/ML/ml_console.scala (diff)
The file was modified src/Pure/ML/ml_process.scala (diff)
The file was modified src/Pure/PIDE/headless.scala (diff)
The file was modified src/Pure/System/isabelle_process.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Tools/VSCode/src/server.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_sessions.scala (diff)
Changeset 71593:71579bd59cd4 by nipkow:
added lemma
The file was modified src/HOL/List.thy (diff)