Robert J. Simmons
8dca311ba5
doc: update URLs that are currently pointing to redirects ( #10397 )
...
This PR updates several URLs that are currently pointing to redirects on
lean-lang.org, most importantly a few in the top-level README
2025-09-17 15:50:07 +00:00
Sebastian Ullrich
68654c231b
doc: fix examples link
2025-08-22 16:28:01 +02:00
David Thrane Christiansen
12ff2d8c49
chore: remove old documentation site ( #7974 )
...
This PR removes the old documentation overview site, as its content has
moved to the main Lean website infrastructure.
This should be merged when the new website section is deployed, after
installing appropriate redirects.
Developer documentation is remaining in Markdown form, but it will no
longer be part of the documentation hosted on the Lean website. Example
code stays here for CI, but it is now rendered via a Verso plugin.
2025-05-14 14:31:33 +00:00
David Thrane Christiansen
11fc9b9bca
chore: update documentation title and link README to reference ( #6409 )
...
This PR makes the title of the mdbook documentation page reflect the
updated link on lean-lang.org and adds the reference manual to the
README.
2024-12-17 22:18:56 +00:00
Kyle Miller
5f727699b0
doc: mention build doc source location ( #4045 )
2024-05-01 22:42:54 +00:00
Sebastian Ullrich
9fb44fae29
doc: remove nightly and other outdated references ( #3027 )
2024-01-25 13:53:36 +00:00
Denis Gorbachev
d126c099f4
doc: Update contribution guides ( #2624 )
...
* doc: update contribution guides
This moves the contribution guide from `doc/contributions.md` to `CONTRIBUTING.md`.
2023-10-25 13:05:55 +11:00
Sebastian Ullrich
dc60150b5a
chore: update domain
2023-09-20 15:13:27 -07:00
Scott Morrison
869d64e97a
chore: update README to reflect beginning stable releases ( #2477 )
2023-08-29 13:24:19 +00:00
Leonardo de Moura
133e03ce7f
feat: update external contribution guidelines
2023-08-11 11:39:41 -07:00
Sebastian Ullrich
e2383729a6
doc: clarify current release process
2023-06-30 10:30:37 -07:00
Sebastian Ullrich
7327b66179
doc: update FPiL entry in README
...
/cc @david-christiansen
I think it's progressed far enough that no "in development" annotation is necessary on this page
2023-01-31 08:10:44 -08:00
Leonardo de Moura
d9be3e0017
doc: add new bullet
2022-06-30 19:17:29 -07:00
Leonardo de Moura
0b27d26c99
doc: add quick tour video
2022-06-30 19:16:25 -07:00
Leonardo de Moura
0ac863b353
chore: add link to the new book
2022-06-09 16:09:07 -07:00
Leonardo de Moura
3d4e6282b7
chore: fix link to examples
2022-04-02 15:29:12 -07:00
Leonardo de Moura
130bbfc501
chore: update README
2022-03-25 14:48:07 -07:00
Sebastian Ullrich
ca9678be58
doc: move tier list to setup.md
2022-03-25 17:45:15 +01:00
Sebastian Ullrich
7ce4a85d25
doc: add platform support tiers to README
2022-03-25 17:45:15 +01:00
Leonardo de Moura
63dcf2124c
chore: add link to quickstart to README
2022-03-11 16:35:07 -08:00
Leonardo de Moura
e4fa3e5d83
chore: add link to RELEASES.md
2022-03-03 11:31:24 -08:00
Leonardo de Moura
d69b8a79ca
chore: add link to "Theorem Proving in Lean 4" tutorial
2021-09-01 10:44:43 -07:00
Sebastian Ullrich
1a8af48cca
doc: contribution guidelines & README update
2021-01-12 14:38:36 -08:00
Leonardo de Moura
3d68a59366
chore: add link to manual
2020-11-23 10:21:52 -08:00
Leonardo de Moura
865bb8df97
chore(README): update
2019-04-24 11:40:46 -07:00
Sebastian Ullrich
4e30aa9f83
chore(README): point CI links to lean4 branch
...
Note, Travis does not have a direct link to builds of a specific branch
2018-04-12 13:50:42 +02:00
Sebastian Ullrich
7c8f884699
chore(README,doc/faq): The Gitter chat room has been migrated to Zulip
2018-03-08 10:06:37 -08:00
Scott Morrison
0e6f496b8e
chore(README.md) fixing link to download page
2018-02-15 11:36:12 +01:00
Sebastian Ullrich
19f8bfd9eb
chore(doc/make): add platform-generic build instructions
2018-01-23 11:14:18 -08:00
Leonardo de Moura
6079189162
doc(faq): add FAQ
2018-01-03 15:39:02 -08:00
Sebastian Ullrich
5efa1b829c
chore(src/emacs): move lean-mode to https://github.com/leanprover/lean-mode
...
Closes #410
2017-10-06 10:46:43 -07:00
Leonardo de Moura
12b28546e8
chore(library/library.md): update documentation
2017-08-16 14:17:26 -07:00
Gabriel Ebner
bac64d49c9
feat(doc/export_format): advertise trepplein
2017-07-15 22:49:24 +01:00
Jeremy Avigad
a045b0f00c
feat(doc/changes.md): create change log
2017-06-14 22:42:08 -07:00
Leonardo de Moura
fe9d5d68c3
chore(README): add "wish list"
2017-05-26 14:43:01 -07:00
Leonardo de Moura
81d16548b8
chore(README): add roadmap
2017-05-26 14:38:42 -07:00
Gabriel Ebner
decbd81dde
chore(README.md): remove obsolete mpfr dependency
2017-02-24 21:39:30 +01:00
Gabriel Ebner
b7f8debd0f
chore(README.md): don't mention disabled-by-default tcmalloc dependency
2017-02-24 21:38:35 +01:00
Gabriel Ebner
9e54b9d58b
refactor(README.md): clean up readme header
2017-02-24 21:37:21 +01:00
Gabriel Ebner
e2147598ec
refactor(README.md): provide only one set of build instructions
2017-02-24 21:32:39 +01:00
Leonardo de Moura
b5276a1c6f
chore(README): add gitter badge
2017-02-24 09:11:04 -08:00
Scott Morrison
8c723cea72
workaround instruction for gperftools on macOS Sierra
2017-01-17 16:37:06 -08:00
Leonardo de Moura
1f7ad171c4
chore(README.md): test
2017-01-14 00:10:30 -08:00
Leonardo de Moura
237f331569
chore(README): remove link to short tutorial
2016-12-23 09:49:52 -08:00
Leonardo de Moura
8e64665259
chore(src/CMakeLists): remove support for optional Boost
2016-12-03 11:34:58 -08:00
Leonardo de Moura
7db1298065
chore(README): new link
2016-12-02 17:33:08 -08:00
Leonardo de Moura
12f19e3fe6
chore(README): fix branch
2016-12-02 17:27:55 -08:00
Leonardo de Moura
87f53e1ba7
chore(README): update badge links
...
See #1213
2016-12-02 17:17:20 -08:00
Gabriel Ebner
bbbc790cfc
feat(.travis.yml): add codecov
2016-12-02 17:01:58 -08:00
Gabriel Ebner
5a41d0272c
chore(README.md): clean up badges
2016-12-02 17:01:58 -08:00
