Diffusion Isabelle f775dfb55655

clarified option -T;
f775dfb55655
Actions

Tags

None

Subscribers

None

Description

clarified option -T;

Details

Provenance

Authored on

Parents

rISABELLEc03c2bf4ef8a: preserve jars for quick testing;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf775dfb55655: clarified option -T;.May 30 2022, 11:51 AM

Changes (4)

Path

Size

src/

Doc/

System/

Pure/

Admin/

sync_repos.scala

General/

mercurial.scala

System/

isabelle_system.scala

rISABELLEf775dfb55655

src/Doc/System/Misc.thy

Loading...

src/Pure/Admin/sync_repos.scala

Loading...

src/Pure/General/mercurial.scala

Loading...

src/Pure/System/isabelle_system.scala

Loading...