Diffusion Isabelle 77ef8bef0593

clarified signature --- fewer warnings;
77ef8bef0593
Actions

Tags

None

Subscribers

None

Description

clarified signature --- fewer warnings;

Details

Provenance

Authored on

Parents

rISABELLE5f388e514ab8: tuned --- fewer warnings;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE77ef8bef0593: clarified signature --- fewer warnings;.Mar 4 2021, 9:04 PM

Changes (63)

Path

Size

src/

HOL/

Tools/

Nitpick/

Pure/

Concurrent/

event_timer.scala

isabelle_thread.scala

GUI/

General/

file_watcher.scala

Isar/

outer_syntax.scala

ML/

ml_console.scala

ml_statistics.scala

PIDE/

System/

isabelle_process.scala

isabelle_system.scala

isabelle_tool.scala

posix_interrupt.scala

system_channel.scala

Thy/

file_format.scala

Tools/

build_job.scala

spell_checker.scala

Tools/

Graphview/

graph_panel.scala

mutator_dialog.scala

VSCode/

src/

language_server.scala

jEdit/

src-base/

jedit_lib.scala

src/

completion_popup.scala

debugger_dockable.scala

document_model.scala

isabelle_sidekick.scala

jedit_editor.scala

jedit_lib.scala

jedit_sessions.scala

jedit_spell_checker.scala

pretty_text_area.scala

pretty_tooltip.scala

process_indicator.scala

query_dockable.scala

rich_text_area.scala

scala_console.scala

session_build.scala

sledgehammer_dockable.scala

symbols_dockable.scala

text_overview.scala

text_structure.scala

rISABELLE77ef8bef0593

src/HOL/Tools/Nitpick/kodkod.scala

Loading...

src/Pure/Concurrent/delay.scala

Loading...

src/Pure/Concurrent/event_timer.scala

Loading...

src/Pure/Concurrent/future.scala

Loading...

src/Pure/Concurrent/isabelle_thread.scala

Loading...

src/Pure/Concurrent/par_list.scala

Loading...

src/Pure/GUI/gui.scala

Loading...

src/Pure/General/exn.scala

Loading...

src/Pure/General/file.scala

Loading...

src/Pure/General/file_watcher.scala

Loading...

src/Pure/General/http.scala

Loading...

src/Pure/General/mailman.scala

Loading...

src/Pure/General/scan.scala

Loading...

src/Pure/General/sql.scala

Loading...

src/Pure/General/ssh.scala

Loading...

src/Pure/General/url.scala

Loading...

src/Pure/Isar/outer_syntax.scala

Loading...

src/Pure/ML/ml_console.scala

Loading...

src/Pure/ML/ml_statistics.scala

Loading...

src/Pure/PIDE/headless.scala

Loading...

src/Pure/PIDE/prover.scala

Loading...

src/Pure/PIDE/session.scala

Loading...

src/Pure/System/bash.scala

Loading...

src/Pure/System/isabelle_process.scala

Loading...

src/Pure/System/isabelle_system.scala

Loading...

src/Pure/System/isabelle_tool.scala

Loading...

src/Pure/System/posix_interrupt.scala

Loading...

src/Pure/System/progress.scala

Loading...

src/Pure/System/scala.scala

Loading...

src/Pure/System/system_channel.scala

Loading...

src/Pure/System/tty_loop.scala

Loading...

src/Pure/Thy/file_format.scala

Loading...

src/Pure/Thy/sessions.scala

Loading...

src/Pure/Tools/build.scala

Loading...

src/Pure/Tools/build_job.scala

Loading...

src/Pure/Tools/server.scala

Loading...

src/Pure/Tools/spell_checker.scala

Loading...

src/Tools/Graphview/graph_panel.scala

Loading...

src/Tools/Graphview/mutator_dialog.scala

Loading...

src/Tools/VSCode/src/language_server.scala

Loading...

src/Tools/jEdit/src-base/jedit_lib.scala

Loading...

src/Tools/jEdit/src/active.scala

Loading...

src/Tools/jEdit/src/completion_popup.scala

Loading...

src/Tools/jEdit/src/debugger_dockable.scala

Loading...

src/Tools/jEdit/src/document_model.scala

Loading...

src/Tools/jEdit/src/isabelle.scala

Loading...

src/Tools/jEdit/src/isabelle_sidekick.scala

Loading...

src/Tools/jEdit/src/jedit_editor.scala

Loading...

src/Tools/jEdit/src/jedit_lib.scala

Loading...

src/Tools/jEdit/src/jedit_sessions.scala

Loading...

src/Tools/jEdit/src/jedit_spell_checker.scala

Loading...

src/Tools/jEdit/src/plugin.scala

Loading...

src/Tools/jEdit/src/pretty_text_area.scala

Loading...

src/Tools/jEdit/src/pretty_tooltip.scala

Loading...

src/Tools/jEdit/src/process_indicator.scala

Loading...

src/Tools/jEdit/src/query_dockable.scala

Loading...

src/Tools/jEdit/src/rich_text_area.scala

Loading...

src/Tools/jEdit/src/scala_console.scala

Loading...

src/Tools/jEdit/src/session_build.scala

Loading...

src/Tools/jEdit/src/sledgehammer_dockable.scala

Loading...

src/Tools/jEdit/src/symbols_dockable.scala

Loading...

src/Tools/jEdit/src/text_overview.scala

Loading...

src/Tools/jEdit/src/text_structure.scala

Loading...