Diffusion Isabelle f1d204a4d795

support filter rules, notably "protect";
f1d204a4d795
Actions

Tags

None

Subscribers

None

Description

support filter rules, notably "protect";

Details

Provenance

Authored on

Parents

rISABELLEd16dd2d1b50a: support for "isabelle hg_sync";

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf1d204a4d795: support filter rules, notably "protect";.May 29 2022, 3:16 PM

Changes (2)

Path

Size

src/

Pure/

General/

mercurial.scala

System/

isabelle_system.scala

rISABELLEf1d204a4d795

src/Pure/General/mercurial.scala

Loading...

src/Pure/System/isabelle_system.scala

Loading...