bookshelf-doc

0c415232cd feat: new CI setup Henrik Böving 2023-03-11 17:48:27 +0100
755f06fb0d fix: correct character category testing F. G. Dorais 2023-03-11 14:57:14 -0500
5f59fbaac4 refactor: switch to maintained unicode lib Henrik Böving 2023-03-11 18:06:13 +0100
720e1acf81 feat: show versions in index HTML Henrik Böving 2023-03-09 21:37:13 +0100
8cb5a2ead4 chore: update lake Henrik Böving 2023-03-09 19:41:52 +0100
54463ac452 chore: update toolchhain Henrik Böving 2023-03-09 19:37:27 +0100
27cbf8ddd2 chore: update toolchain Henrik Böving 2023-03-04 12:48:38 +0100
c3faad1730 help break_within to split names at `.` Max Taldykin 2023-03-03 15:48:48 +0400
9220cd74b1 fix implicit arg wrapping Max Taldykin 2023-03-04 13:36:49 +0400
5ab6766eb1 fix: #113 Henrik Böving 2023-02-16 19:51:35 +0100
54cf445e12 fix: #114 Henrik Böving 2023-02-16 18:14:40 +0100
162de994c2 Add comment to README about need for copying css and js files. Jeremy Salwen 2023-02-01 14:24:33 -0500
1cb84f6d74 Add filters for search results based on kind. Jeremy Salwen 2023-01-31 14:31:27 -0500
1c44e861be fix: search.html for relative roots Henrik Böving 2023-01-29 14:07:21 +0100
3a977a94ca Fix issues with Search page impelementation Jeremy Salwen 2023-01-28 14:16:49 -0500
1575eeedd2 Add definition doc string to search result page. Jeremy Salwen 2023-01-25 20:09:47 -0500
033003c6cb Add a search page to the docs. Jeremy Salwen 2023-01-25 17:57:10 -0500
7b0ebfa527 Add section to README about development of doc-gen4 Jeremy Salwen 2023-01-24 18:09:10 -0500
09dbebed9c chore: QoL updates for deploy_docs.sh Henrik Böving 2023-01-04 23:40:48 +0100
f37579aaf7 feat: use mathlib4 build cache Henrik Böving 2023-01-04 23:25:35 +0100
8ac4e35587 fix: s/master/main Henrik Böving 2023-01-02 10:07:10 +0100
247dca1182 feat: truly limit the deploy to master Henrik Böving 2023-01-01 22:15:08 +0100
dd5aae412d fix: attempt to fix CI again Henrik Böving 2023-01-01 20:37:05 +0100
a18b27f4c1 feat: attempt to improve usability of the file tree Henrik Böving 2023-01-01 20:00:42 +0100
d5ef8006b7 style: Lean 4 compiler style in LeanInk Henrik Böving 2023-01-01 19:53:21 +0100
f74443a673 style: Lean 4 compiler style in output Henrik Böving 2023-01-01 19:51:01 +0100
3a5c0db46b style: refactor process to Lean 4 compiler style Henrik Böving 2023-01-01 19:30:28 +0100
a5caefc03f fix: regression in import names Henrik Böving 2023-01-01 18:59:19 +0100
bdf803b100 chore: update toolchain Henrik Böving 2022-12-23 18:20:24 +0100
03e6572584 fix: mention (a : α) → β a notation in foundational types section Seppel3210 2022-12-22 23:12:18 +0100
345036e800 chore: update toolchain Henrik Böving 2022-12-22 15:40:34 +0100
f221bbdcff fix: save the expansion state of the tree again Henrik Böving 2022-12-13 20:00:07 +0100
8fd0520dc0 chore: slow down CI cycles Henrik Böving 2022-12-13 19:36:47 +0100
327fdf0ddd feat: short names in side bar Henrik Böving 2022-12-13 18:58:02 +0100
84a116ac43 chore: update toolchain Henrik Böving 2022-12-13 18:49:32 +0100
7009910876 chore: update toolchain Henrik Böving 2022-12-03 17:43:12 +0100
5e96952a58 chore: update toolchain Henrik Böving 2022-12-02 17:55:27 +0100
69d48b174d chore: update toolchain Henrik Böving 2022-11-22 21:21:09 +0100
72034b0831 feat: linkify builtin types Henrik Böving 2022-11-20 13:10:05 +0100
b22818b971 feat: render foundational types info Henrik Böving 2022-11-20 12:48:16 +0100
bdede38f12 chore: update toolchain Henrik Böving 2022-11-20 11:48:01 +0100
e402ee94b1 feat: look for builtin type instances Henrik Böving 2022-11-20 11:47:53 +0100
6137c9b300 Merge branch 'main' of github.com:leanprover/doc-gen4 into only-linkify-lean Alex J. Best 2022-11-06 21:27:31 +0100
fc00a41ecb bool Alex J. Best 2022-11-06 21:27:26 +0100
664a86e08b fix: minor style improvements Parth Shastri 2022-10-27 17:40:53 -0400
d62268b013 better Alex J. Best 2022-11-05 18:46:20 +0100
07cb0ed1cc fix Alex J. Best 2022-11-05 18:28:27 +0100
58fcc5d468 only linkify lean code Alex J. Best 2022-11-05 18:18:16 +0100
6c8b79a539 chore: update toolchain Henrik Böving 2022-10-28 23:47:09 +0200
120a81d25e chore: upgrade dependencies Henrik Böving 2022-10-20 19:53:02 +0200
9aef28b16e

chore: update toolchain 10-20 (#86) Mario Carneiro 2022-10-20 19:51:26 +0200
153982f982

Work around unsupported RegExp lookbehind in WebKit. (#85) Ruben Van de Velde 2022-10-20 18:21:33 +0200
d7fe046e94 ci: also run on scheduled builds Henrik Böving 2022-10-06 22:10:53 +0200
72227e4b11

attempt to fix master CI (#84) Henrik Böving 2022-10-05 13:00:43 +0200
64f627a295

chore: toolchain upgrade (#82) Henrik Böving 2022-10-05 12:05:58 +0200
b07faa65fe

Merge pull request #81 from leanprover/fix-ci Henrik Böving 2022-08-18 22:12:53 +0200
07332cad93 fix : CI Henrik Böving 2022-08-18 21:28:55 +0200
b18f4e52ed

Merge pull request #80 from gebner/bump220818 Henrik Böving 2022-08-18 13:41:59 +0200
9dc1889de6 chore: update toolchain Gabriel Ebner 2022-08-18 11:31:18 +0200
422e6bec91

Merge pull request #79 from leanprover/unused-import Henrik Böving 2022-08-13 12:09:20 +0200
4a7c5e214a

chore: drop unused import Sebastian Ullrich 2022-08-12 23:04:36 +0200
a2345380e8

Merge pull request #78 from leanprover/LeanInkLink Henrik Böving 2022-08-11 23:51:50 +0200
23ddabb0da

Merge branch 'main' into LeanInkLink Henrik Böving 2022-08-11 23:51:26 +0200
de1405afd3 fix: pipeline for new build Henrik Böving 2022-08-11 23:49:30 +0200
d43b23ec9f fix: Dont linkify unknown names Henrik Böving 2022-08-11 23:19:31 +0200
cdfd8ff49c feat: implement facet Henrik Böving 2022-08-11 21:37:10 +0200
6534a71cca chore: update toolchain Henrik Böving 2022-08-11 18:30:28 +0200
d29e14a26a chore: update toolchain and dependencies Henrik Böving 2022-08-09 23:30:43 +0200
5bae061b54 fix: mess of monad transformers in LeanInk adapter Henrik Böving 2022-07-27 20:11:41 +0200
583e2299b7 chore: fix CI on main Henrik Böving 2022-07-27 15:17:23 +0200
108d36d0f0 fix: whitespace after declaration without arguments Henrik Böving 2022-07-27 14:19:40 +0200
0ac64f0873 types, types everywhere Henrik Böving 2022-07-26 15:12:29 +0200
763784e116 fix: whenever you force push a kitten dies Henrik Böving 2022-07-26 15:17:56 +0200
14afcdbeaf feat: Degrade --ink to flag Henrik Böving 2022-07-26 13:56:22 +0200
5a893f4b76 feat: LeanInk backlink step 1 Henrik Böving 2022-07-26 12:52:41 +0200
4c55f98c54

Merge pull request #75 from leanprover/typify-index Henrik Böving 2022-07-26 11:31:16 +0200
b9d0496cc7 chore: update toolchain Henrik Böving 2022-07-26 11:30:57 +0200
5e634cf96a feat: typify the index API Henrik Böving 2022-07-23 20:40:08 +0200
6f1364ea7d

Merge pull request #74 from tydeu/docs-facet Henrik Böving 2022-07-24 13:17:55 +0200
2cc851aaf1 fix: include top-level modules in hierarchy and exclude non-html tydeu 2022-07-23 22:00:48 -0400
5e78890ec0 feat: experimental module facet for producing docs tydeu 2022-07-23 20:07:30 -0400
3924034385

Merge pull request #73 from leanprover/refactor Henrik Böving 2022-07-23 15:45:41 +0200
247b930364 feat: instances for Henrik Böving 2022-07-23 15:40:08 +0200
3aae640f69 chore: structure ctor style Henrik Böving 2022-07-23 13:37:17 +0200
04387711de chore: remove unused variables Henrik Böving 2022-07-23 13:04:36 +0200
ed4cee2eae chore: style, change $ to <| Henrik Böving 2022-07-23 13:01:25 +0200
d44871c6f5

Merge pull request #72 from leanprover/improve-single Henrik Böving 2022-07-22 17:40:36 +0200
19ee7dfd97 fix: Safari issues reported by Wojciech Nawrocki Henrik Böving 2022-07-22 17:27:35 +0200
5a65c64d4c fix: alignment of navbar Henrik Böving 2022-07-22 17:18:09 +0200
95b79c1744 fix: Fix linking of importedBy modules Henrik Böving 2022-07-22 17:03:24 +0200
6be2e4dc4e feat: importedBy via Javascript Henrik Böving 2022-07-22 16:56:51 +0200
2ffff99f90 feat: instances from JSON Henrik Böving 2022-07-22 16:15:37 +0200
bb9b55ef2c feat: Step 1 for full separate builds with global info Henrik Böving 2022-07-22 14:48:36 +0200
c29cf7b70c feat: index shall not depend on importing things Henrik Böving 2022-07-22 00:34:13 +0200
c35d750e67 feat: Single shall not be transitive Henrik Böving 2022-07-21 23:15:20 +0200
be1c34fc12 chore: README alignment Henrik Böving 2022-07-21 23:05:10 +0200
0cff3d7cda fix: Javascript errors in the navbar Henrik Böving 2022-07-21 23:01:15 +0200
eea23d332a feat: Fully separated builds Henrik Böving 2022-07-21 22:43:33 +0200
80cb92eb94 feat: Use iframe for navbar to move it into the finalize stage Henrik Böving 2022-07-21 22:06:26 +0200
80cf5bc96f feat: Renamed finalize to index Henrik Böving 2022-07-21 21:12:15 +0200

Commit Graph Select branches Hide Pull Requests main Mono Color

Commit Graph

Select branches

Hide Pull Requests

main