Diffusion Isabelle 29effd67d8a8

support "isabelle options -l -t TAGS";
29effd67d8a8
Actions

Tags

None

Subscribers

None

Description

support "isabelle options -l -t TAGS";

Details

Provenance

Authored on

Parents

rISABELLEfaaa3e311281: NEWS;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE29effd67d8a8: support "isabelle options -l -t TAGS";.Mar 11 2023, 2:49 PM

Changes (2)

Path

Size

src/

Doc/

System/

Pure/

System/

rISABELLE29effd67d8a8

src/Doc/System/Sessions.thy

Loading...

src/Pure/System/options.scala

Loading...