Diffusion Isabelle bd5998580edb

build minisat, using recent fork from original sources;
bd5998580edb
Actions

Tags

None

Subscribers

None

Description

build minisat, using recent fork from original sources;

Details

Provenance

Authored on

Parents

rISABELLE9333a6ee57ba: proper platform_path for executables run from Java;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEbd5998580edb: build minisat, using recent fork from original sources;.Oct 7 2021, 1:12 PM

Changes (6)

Path

Size

etc/

build_minisat.scala

System/

isabelle_tool.scala

rISABELLEbd5998580edb

etc/build.props

Loading...

src/Pure/Admin/build_minisat.scala

Loading...

src/Pure/System/isabelle_tool.scala

Loading...