| Date | Description |
|---|
| 2024-03-31 |
delete about_pages_linkeddomain jekyllrb.com |
| 2024-03-31 |
delete about_pages_linkeddomain mmistakes.github.io |
| 2024-03-31 |
delete index_pages_linkeddomain jekyllrb.com |
| 2024-03-31 |
delete index_pages_linkeddomain mmistakes.github.io |
| 2024-03-31 |
delete management_pages_linkeddomain dselsam.github.io |
| 2024-03-31 |
delete management_pages_linkeddomain jekyllrb.com |
| 2024-03-31 |
delete management_pages_linkeddomain mmistakes.github.io |
| 2024-03-31 |
delete management_pages_linkeddomain vu.nl |
| 2024-03-31 |
insert management_pages_linkeddomain digama0.github.io |
| 2024-03-31 |
insert management_pages_linkeddomain favonia.org |
| 2024-03-31 |
insert management_pages_linkeddomain florisvandoorn.com |
| 2024-03-31 |
insert management_pages_linkeddomain kleene.church |
| 2024-03-31 |
insert management_pages_linkeddomain robertylewis.com |
| 2024-03-31 |
insert management_pages_linkeddomain tum.de |
| 2024-03-31 |
insert management_pages_linkeddomain ulrikbuchholtz.dk |
| 2024-03-31 |
update robots_txt_status lean-lang.org: 200 => 404 |
| 2023-09-05 |
delete management_pages_linkeddomain kha.github.io |
| 2023-09-05 |
delete management_pages_linkeddomain leodemoura.github.io |
| 2023-09-05 |
delete person Leo de Moura |
| 2023-09-05 |
insert about_pages_linkeddomain lean-fro.org |
| 2023-09-05 |
insert management_pages_linkeddomain lean-fro.org |
| 2023-08-03 |
update person_title Leo de Moura: Microsoft Research => Project Leader |
| 2022-11-06 |
delete address 15. Building Lean
❱
15.1. Ubuntu Setup |
| 2022-11-06 |
delete address 20. Building This Manual
21. Foreign Function Interface |
| 2022-11-06 |
insert address 19. Building Lean
❱
19.1. Ubuntu Setup |
| 2022-11-06 |
insert address 24. Building This Manual
25. Foreign Function Interface |
| 2022-11-06 |
update primary_contact 15. Building Lean
❱
15.1. Ubuntu Setup => 19. Building Lean
❱
19.1. Ubuntu Setup |
| 2022-05-01 |
delete address 16. Building Lean
16.1. Ubuntu Setup |
| 2022-05-01 |
delete address 19. Building This Manual
20. Fixing Tests
21. Debugging |
| 2022-05-01 |
insert address 15. Building Lean
❱
15.1. Ubuntu Setup |
| 2022-05-01 |
insert address 20. Building This Manual
21. Foreign Function Interface |
| 2022-05-01 |
update primary_contact 16. Building Lean
16.1. Ubuntu Setup => 15. Building Lean
❱
15.1. Ubuntu Setup |
| 2022-04-01 |
delete address 20. Building Lean
20.1. Ubuntu Setup |
| 2022-04-01 |
delete address 23. Building This Manual
24. Fixing Tests |
| 2022-04-01 |
insert address 16. Building Lean
16.1. Ubuntu Setup |
| 2022-04-01 |
insert address 19. Building This Manual
20. Fixing Tests
21. Debugging |
| 2022-04-01 |
update primary_contact 20. Building Lean
20.1. Ubuntu Setup => 16. Building Lean
16.1. Ubuntu Setup |
| 2022-02-13 |
insert address 20. Building Lean
20.1. Ubuntu Setup |
| 2022-02-13 |
insert address 23. Building This Manual
24. Fixing Tests |
| 2022-02-13 |
update primary_contact null => 20. Building Lean
20.1. Ubuntu Setup |
| 2021-07-05 |
insert management_pages_linkeddomain microsoft.com |
| 2021-07-05 |
insert person Dany Fabian |
| 2021-01-30 |
delete about_pages_linkeddomain microsoft.com |
| 2021-01-30 |
update description |
| 2020-06-26 |
insert about_pages_linkeddomain leanprover-community.github.io |
| 2020-02-24 |
delete management_pages_linkeddomain stanford.edu |
| 2020-02-24 |
insert management_pages_linkeddomain dselsam.github.io |
| 2019-02-06 |
delete about_pages_linkeddomain cmu.edu |
| 2019-02-06 |
delete management_pages_linkeddomain github.com |
| 2018-06-09 |
delete management_pages_linkeddomain microsoft.com |
| 2018-06-09 |
delete source_ip 151.101.61.147 |
| 2018-06-09 |
insert management_pages_linkeddomain github.com |
| 2018-06-09 |
insert management_pages_linkeddomain vu.nl |
| 2018-06-09 |
insert source_ip 185.199.111.153 |
| 2018-06-09 |
insert source_ip 185.199.110.153 |
| 2018-06-09 |
insert source_ip 185.199.109.153 |
| 2018-06-09 |
insert source_ip 185.199.108.153 |
| 2018-06-09 |
update description |
| 2017-08-18 |
delete source_ip 151.101.60.133 |
| 2017-08-18 |
insert source_ip 151.101.61.147 |