Diffusion Isabelle a5fda30edae2

clarified signature: more uniform treatment of stopped/interrupted state;
a5fda30edae2
Actions

Tags

None

Subscribers

None

Description

clarified signature: more uniform treatment of stopped/interrupted state;

Details

Provenance

Authored on

Parents

rISABELLEc255ed582095: proper asynchronous GUI interaction for somewhat heavy JEdit_Sessions.

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa5fda30edae2: clarified signature: more uniform treatment of stopped/interrupted state;.Apr 7 2020, 9:49 PM

makarius mentioned this in rISABELLEdb9c6be8e236: prefer dynamic objects, following a5fda30edae2;.Mar 5 2024, 7:07 PM

Changes (29)

Path

Size

src/

Pure/

Admin/

build_doc.scala

build_fonts.scala

build_history.scala

build_jdk.scala

build_polyml.scala

build_release.scala

build_status.scala

components.scala

isabelle_cronjob.scala

other_isabelle.scala

General/

mercurial.scala

PIDE/

resources.scala

System/

Thy/

export_theory.scala

Tools/

phabricator.scala

server_commands.scala

Tools/

VSCode/

src/

build_vscode.scala

jEdit/

src/

jedit_sessions.scala

session_build.scala

rISABELLEa5fda30edae2

src/Pure/Admin/build_doc.scala

Loading...

src/Pure/Admin/build_fonts.scala

Loading...

src/Pure/Admin/build_history.scala

Loading...

src/Pure/Admin/build_jdk.scala

Loading...

src/Pure/Admin/build_polyml.scala

Loading...

src/Pure/Admin/build_release.scala

Loading...

src/Pure/Admin/build_status.scala

Loading...

src/Pure/Admin/components.scala

Loading...

src/Pure/Admin/isabelle_cronjob.scala

Loading...

src/Pure/Admin/jenkins.scala

Loading...

src/Pure/Admin/other_isabelle.scala

Loading...

src/Pure/General/mercurial.scala

Loading...

src/Pure/PIDE/headless.scala

Loading...

src/Pure/PIDE/resources.scala

Loading...

src/Pure/System/linux.scala

Loading...

src/Pure/System/progress.scala

Loading...

src/Pure/Thy/export.scala

Loading...

src/Pure/Thy/export_theory.scala

Loading...

src/Pure/Thy/sessions.scala

Loading...

src/Pure/Tools/build.scala

Loading...

src/Pure/Tools/dump.scala

Loading...

src/Pure/Tools/mkroot.scala

Loading...

src/Pure/Tools/phabricator.scala

Loading...

src/Pure/Tools/server.scala

Loading...

src/Pure/Tools/server_commands.scala

Loading...

src/Pure/Tools/update.scala

Loading...

src/Tools/VSCode/src/build_vscode.scala

Loading...

src/Tools/jEdit/src/jedit_sessions.scala

Loading...

src/Tools/jEdit/src/session_build.scala

Loading...