INSTALL file in distribution

Open konrad-slind opened this issue 2 months ago • 1 comments

The file <holdir>/INSTALL is out-of-date in several ways but useful in lots of others. It should be updated and/or removed with a pointer to the relevant info on the HOL homepage.

Oct 20 '25 21:10 konrad-slind

I think it would be best to delete it and create an "Install" section in README.md. This is usually where I expect install instructions to be for GitHub projects, and it also has the advantage of being rendered when someone looks at the repo.

Oct 24 '25 14:10 dnezam

https://github.com/HOL-Theorem-Prover/HOL/blob/78876ba822649556a9b0bc45047a0935d007995c/INSTALL#L171 @mn20 mentioned to me that this email address has been closed

Dec 16 '25 09:12 ordinarymath