Diffusion Isabelle f5722290a4d0

allow user-defined server commands via isabelle_scala_service;
f5722290a4d0
Actions

Tags

None

Subscribers

None

Description

allow user-defined server commands via isabelle_scala_service;

Details

Provenance

Authored on

Parents

rISABELLE5894859c5c84: more systematic support for special directories;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf5722290a4d0: allow user-defined server commands via isabelle_scala_service;.Aug 17 2020, 4:26 PM

makarius mentioned this in Blog Post: User-defined Isabelle server commands via isabelle_scala_service.Aug 17 2020, 7:07 PM

Changes (4)

Path

Size

etc/

src/

Pure/

Tools/

server_commands.scala

rISABELLEf5722290a4d0

NEWS

Loading...

etc/settings

Loading...

src/Pure/Tools/server.scala

Loading...

src/Pure/Tools/server_commands.scala

Loading...