Diffusion Isabelle dc858da93233

updated to zipperposition-2.0 and ocaml-4.07, which is required for it;
dc858da93233
Actions

Tags

None

Subscribers

None

Description

updated to zipperposition-2.0 and ocaml-4.07, which is required for it;

Details

Provenance

Authored on

Parents

rISABELLEbc88423eb0ad: more checks;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEdc858da93233: updated to zipperposition-2.0 and ocaml-4.07, which is required for it;.Dec 16 2020, 4:56 PM

Changes (2)

Path

Size

etc/

src/

Pure/

Admin/

build_zipperposition.scala

rISABELLEdc858da93233

etc/settings

Loading...

src/Pure/Admin/build_zipperposition.scala

Loading...