Diffusion Isabelle c8f5fec36b5c

support regex patterns on messages;
c8f5fec36b5c
Actions

Tags

None

Subscribers

None

Description

support regex patterns on messages;

Details

Provenance

Authored on

Parents

rISABELLE338adf8d423c: support Pretty.unformatted, similar to ML version;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc8f5fec36b5c: support regex patterns on messages;.Sep 8 2022, 4:59 PM

Changes (2)

Path

Size

src/

Pure/

PIDE/

Tools/

build_job.scala

rISABELLEc8f5fec36b5c

src/Pure/PIDE/protocol.scala

Loading...

src/Pure/Tools/build_job.scala

Loading...