Diffusion Isabelle 065dcd80293e

provide protocol handlers via isabelle_system_service;
065dcd80293e
Actions

Tags

None

Subscribers

None

Description

provide protocol handlers via isabelle_system_service;

Details

Provenance

Authored on

Parents

rISABELLE837b86b214d3: prefer formal name;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE065dcd80293e: provide protocol handlers via isabelle_system_service;.Aug 15 2020, 1:37 PM

makarius mentioned this in rISABELLEcafe00f2161e: proper protocol init (amending 065dcd80293e);.Aug 15 2020, 10:07 PM

Changes (10)

Path

Size

etc/

src/

Pure/

PIDE/

protocol_handlers.scala

System/

isabelle_process.ML

Tools/

print_operation.ML

simplifier_trace.ML

rISABELLE065dcd80293e

etc/settings

Loading...

src/Pure/PIDE/markup.ML

Loading...

src/Pure/PIDE/markup.scala

Loading...

src/Pure/PIDE/protocol_handlers.scala

Loading...

src/Pure/PIDE/session.ML

Loading...

src/Pure/PIDE/session.scala

Loading...

src/Pure/System/isabelle_process.ML

Loading...

src/Pure/System/scala.ML

Loading...

src/Pure/Tools/print_operation.ML

Loading...

src/Pure/Tools/simplifier_trace.ML

Loading...