search

HOL-Theorem-Prover / HOL

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
https://hol-theorem-prover.org
Other
621 stars 140 forks source link

Add note to Dev. Manual to run cleanall #1237

Closed rsoeldner closed 4 months ago

rsoeldner commented 4 months ago

This PR adds a small note to the developers manual in case build fails.

image

rsoeldner commented 4 months ago

Was already addressed in https://github.com/HOL-Theorem-Prover/HOL/commit/46b102fc1653ea99e29d25979166e427a7e0a3ea