New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

doc: expand readme and makefile #244

Merged

semorrison merged 2 commits into master from update-readme

Jun 27, 2023

Member

fpvandoorn commented Jun 26, 2023

Clarify that this repo might not work on Windows
reformulate some of the Oneshot README
add leanproject get-cache in the mathbin-source command
Add git fetch in the lean3-source command.
- This last item conflicts with Add missing fetch command to lean3-source target #232 (note that for mathlib we also do an unrestricted git fetch)

fpvandoorn added 2 commits

June 26, 2023 14:07


          update readme and makefile

2080db0


          reformulate

66e67d9

fpvandoorn mentioned this pull request

Add missing fetch command to lean3-source target #232

Closed

fpvandoorn changed the title ~~doc: expand readme~~ doc: expand readme and makefile

semorrison merged commit 65199cd into master

2 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment