Diffusion Isabelle ac90d6c6c149

provide zipperposition-2.1 (still unused);
ac90d6c6c149
Actions

Tags

None

Subscribers

None

Description

provide zipperposition-2.1 (still unused);

Details

Provenance

Authored on

Parents

rISABELLEba30067b7259: tuned docs

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEac90d6c6c149: provide zipperposition-2.1 (still unused);.Sep 27 2021, 8:45 PM

Changes (2)

Path

Size

Admin/

components/

components.sha1

src/

Pure/

Admin/

build_zipperposition.scala

rISABELLEac90d6c6c149

Admin/components/components.sha1

Loading...

src/Pure/Admin/build_zipperposition.scala

Loading...