Sebastian Ullrich
9fb44fae29
doc: remove nightly and other outdated references ( #3027 )
2024-01-25 13:53:36 +00:00
lu-bulhoes
312ea12bc2
fix: fixing path of the generated binary in documentation ( #3093 )
...
This PR fixes the documentation error in "Extended Setup Notes", where
the path of builded binary is pointed to
`./build/bin/foo`, but the truly path is `./lake/build/bin/foo`.
---
Closes #3094 (`RFC` or `bug` issue number fixed by this PR, if any)
2023-12-19 17:26:55 +00:00
Alexander Bentkamp
7fb7b5c5cb
chore: releases for web assembly and x86 Linux ( #2855 )
2023-11-15 18:18:47 +01:00
mhuisi
3aa1cfccea
doc: update quickstart doc for release
2023-09-08 16:39:55 +02:00
Sebastian Ullrich
a3ebfe29ea
chore: revert "chore: compile against glibc 2.26"
...
This reverts commit ae0e0ed1db
2023-07-10 21:44:10 +02:00
Sebastian Ullrich
ae0e0ed1db
chore: compile against glibc 2.26
2023-07-10 18:59:06 +02:00
Sebastian Ullrich
e2383729a6
doc: clarify current release process
2023-06-30 10:30:37 -07:00
Sebastian Ullrich
371fc8868a
doc: move out Nix setup
2023-06-28 09:49:08 +01:00
Sebastian Ullrich
8ba05f34ea
doc: remove reference to harmful elan command
2023-06-07 20:08:33 +02:00
Wojciech Nawrocki
161ef7a67c
doc: fix link
2022-08-01 13:03:54 +02:00
Sebastian Ullrich
7ce5b0c4ff
feat: CI: build darwin_aarch64
2022-03-26 16:29:52 +01:00
Sebastian Ullrich
ca9678be58
doc: move tier list to setup.md
2022-03-25 17:45:15 +01:00
Sebastian Ullrich
a7ba103e0a
chore: remove leanpkg
2022-02-04 19:03:40 +01:00
Sebastian Ullrich
b20ecd02d7
chore: move out lean4-mode
2022-01-24 21:23:53 +01:00
Chris Lovett
c3a9860dc8
doc: replace leanpkg info with info about Lake
...
Fixes #789
2021-12-19 17:23:25 +01:00
Sebastian Ullrich
45917f2f90
chore: Nix: simplify package instructions
2021-12-04 12:14:47 +01:00
Sebastian Ullrich
119f685cda
doc: fix link
2021-08-08 18:39:28 +02:00
Sebastian Ullrich
812c8d0d6e
doc: clarify Windows limitations
2021-06-01 16:12:16 +02:00
Sebastian Ullrich
8175003707
doc: update links to elan
2021-04-17 16:33:23 +02:00
Paul Brinkmeier
c1623add68
doc: add note about staging flake.nix ( #411 )
...
If you don't make flake.nix visible to Git, nix build etc. won't work. Add a command that adds the file to the Index and a note explaining why.
2021-04-15 18:45:22 +02:00
Sebastian Ullrich
dcfd6f4873
doc: quickstart
2021-04-06 17:34:01 +02:00
Sebastian Ullrich
8d543cbcdc
doc: using Nix with an external editor
2021-03-26 09:56:22 +01:00
Sebastian Ullrich
ae348cd8e1
doc: more about Lean packages
2021-01-25 17:07:08 -08:00
Sebastian Ullrich
48f4f6a908
doc: Nix: clarify .#executable command
2021-01-22 12:41:18 +01:00
Sebastian Ullrich
568d76b0ce
doc: fix elan command
...
Fixes #278
2021-01-19 23:28:42 +01:00
Sebastian Ullrich
d7733ba662
feat: use leanpkg print-path for worker initialization
2021-01-19 19:06:01 +01:00
Sebastian Ullrich
3407202436
doc: typo
2021-01-08 18:55:21 +01:00
Sebastian Ullrich
b00f8ebeb7
doc: remind people to update elan
2021-01-05 13:03:23 +01:00
Sebastian Ullrich
db0d2e45fe
doc: dependencies & editors
2021-01-03 21:23:52 +01:00
Sebastian Ullrich
9ecabe5a06
feat: Nix: integrate vscode-lean4
2021-01-03 19:58:46 +01:00
Sebastian Ullrich
9485b8d074
doc: setup
2021-01-03 13:21:58 +01:00
