Diffusion Isabelle 79231a210f5d

observe option "show_states" in headless server (see also 951abf9db857);
79231a210f5d
Actions

Tags

None

Subscribers

None

Description

observe option "show_states" in headless server (see also 951abf9db857);

Details

Provenance

Authored on

Parents

rISABELLE5bf9a1b78f93: text correction

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE79231a210f5d: observe option "show_states" in headless server (see also 951abf9db857);.Jan 30 2023, 3:02 PM

Changes (3)

Path

Size

src/

Pure/

PIDE/

Tools/

server_commands.scala

rISABELLE79231a210f5d

NEWS

Loading...

src/Pure/PIDE/headless.scala

Loading...

src/Pure/Tools/server_commands.scala

Loading...