Diffusion Isabelle 713fafb3de79

tuned -- avoid deprecated operations;
713fafb3de79
Actions

Tags

None

Subscribers

None

Description

tuned -- avoid deprecated operations;

Details

Provenance

Authored on

Parents

rISABELLE6c470c918aad: more general support for isabelle_scala_service;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE713fafb3de79: tuned -- avoid deprecated operations;.Apr 8 2020, 2:06 PM

Changes (2)

Path

Size

src/

Pure/

PIDE/

protocol_handlers.scala

System/

isabelle_system.scala

rISABELLE713fafb3de79

src/Pure/PIDE/protocol_handlers.scala

Loading...

src/Pure/System/isabelle_system.scala

Loading...