Commit Graph

422 Commits (756e5a0db8aef6f4d94a88951855f9f1e87bc74e)

Author SHA1 Message Date
Henrik Böving 247dca1182 feat: truly limit the deploy to master 2023-01-01 22:15:08 +01:00
Henrik Böving dd5aae412d fix: attempt to fix CI again 2023-01-01 21:11:30 +01:00
Henrik Böving a18b27f4c1 feat: attempt to improve usability of the file tree 2023-01-01 20:21:10 +01:00
Henrik Böving d5ef8006b7 style: Lean 4 compiler style in LeanInk 2023-01-01 19:53:21 +01:00
Henrik Böving f74443a673 style: Lean 4 compiler style in output 2023-01-01 19:51:01 +01:00
Henrik Böving 3a5c0db46b style: refactor process to Lean 4 compiler style 2023-01-01 19:30:28 +01:00
Henrik Böving a5caefc03f fix: regression in import names 2023-01-01 18:59:19 +01:00
Henrik Böving bdf803b100 chore: update toolchain 2022-12-23 18:20:56 +01:00
Seppel3210 03e6572584 fix: mention (a : α) → β a notation in foundational types section 2022-12-23 13:28:57 +01:00
Henrik Böving 345036e800 chore: update toolchain 2022-12-22 16:19:23 +01:00
Henrik Böving f221bbdcff fix: save the expansion state of the tree again 2022-12-13 20:01:11 +01:00
Henrik Böving 8fd0520dc0 chore: slow down CI cycles 2022-12-13 19:37:28 +01:00
Henrik Böving 327fdf0ddd feat: short names in side bar 2022-12-13 19:37:28 +01:00
Henrik Böving 84a116ac43 chore: update toolchain 2022-12-13 19:37:28 +01:00
Henrik Böving 7009910876 chore: update toolchain 2022-12-03 17:43:12 +01:00
Henrik Böving 5e96952a58 chore: update toolchain 2022-12-02 17:55:27 +01:00
Henrik Böving 69d48b174d chore: update toolchain 2022-11-22 21:21:54 +01:00
Henrik Böving 72034b0831 feat: linkify builtin types 2022-11-22 21:07:59 +01:00
Henrik Böving b22818b971 feat: render foundational types info 2022-11-22 21:07:59 +01:00
Henrik Böving bdede38f12 chore: update toolchain 2022-11-22 21:07:59 +01:00
Henrik Böving e402ee94b1 feat: look for builtin type instances 2022-11-22 21:07:59 +01:00
Alex J. Best 6137c9b300 Merge branch 'main' of github.com:leanprover/doc-gen4 into only-linkify-lean 2022-11-06 21:27:31 +01:00
Alex J. Best fc00a41ecb bool 2022-11-06 21:27:26 +01:00
Parth Shastri 664a86e08b fix: minor style improvements 2022-11-06 13:53:23 +01:00
Alex J. Best d62268b013 better 2022-11-05 18:46:20 +01:00
Alex J. Best 07cb0ed1cc fix 2022-11-05 18:28:27 +01:00
Alex J. Best 58fcc5d468 only linkify lean code 2022-11-05 18:18:16 +01:00
Henrik Böving 6c8b79a539 chore: update toolchain 2022-10-28 23:47:09 +02:00
Henrik Böving 120a81d25e chore: upgrade dependencies 2022-10-20 19:53:02 +02:00
Mario Carneiro 9aef28b16e
chore: update toolchain 10-20 (#86) 2022-10-20 19:51:26 +02:00
Ruben Van de Velde 153982f982
Work around unsupported RegExp lookbehind in WebKit. (#85)
* Work around unsupported RegExp lookbehind in WebKit.

* Update static/find/find.js

Co-authored-by: Mario Carneiro <di.gama@gmail.com>

Co-authored-by: Mario Carneiro <di.gama@gmail.com>
2022-10-20 18:21:33 +02:00
Henrik Böving d7fe046e94 ci: also run on scheduled builds 2022-10-06 22:10:53 +02:00
Henrik Böving 72227e4b11
attempt to fix master CI (#84) 2022-10-05 13:00:43 +02:00
Henrik Böving 64f627a295
chore: toolchain upgrade (#82)
Halleluja!
2022-10-05 12:05:58 +02:00
Henrik Böving b07faa65fe
Merge pull request #81 from leanprover/fix-ci
fix : CI
2022-08-18 22:12:53 +02:00
Henrik Böving 07332cad93 fix : CI 2022-08-18 22:03:07 +02:00
Henrik Böving b18f4e52ed
Merge pull request #80 from gebner/bump220818
chore: update toolchain
2022-08-18 13:41:59 +02:00
Gabriel Ebner 9dc1889de6 chore: update toolchain 2022-08-18 11:33:49 +02:00
Henrik Böving 422e6bec91
Merge pull request #79 from leanprover/unused-import
chore: drop unused import
2022-08-13 12:09:20 +02:00
Sebastian Ullrich 4a7c5e214a
chore: drop unused import
I didn't even know one could import modules from executables! Not sure how to feel about that.
2022-08-12 23:04:36 +02:00
Henrik Böving a2345380e8
Merge pull request #78 from leanprover/LeanInkLink
Simple LeanInk links.
2022-08-11 23:51:50 +02:00
Henrik Böving 23ddabb0da
Merge branch 'main' into LeanInkLink 2022-08-11 23:51:26 +02:00
Henrik Böving de1405afd3 fix: pipeline for new build 2022-08-11 23:49:30 +02:00
Henrik Böving d43b23ec9f fix: Dont linkify unknown names 2022-08-11 23:35:43 +02:00
Henrik Böving cdfd8ff49c feat: implement facet 2022-08-11 22:58:25 +02:00
Henrik Böving 6534a71cca chore: update toolchain 2022-08-11 18:30:28 +02:00
Henrik Böving d29e14a26a chore: update toolchain and dependencies 2022-08-09 23:30:43 +02:00
Henrik Böving 5bae061b54 fix: mess of monad transformers in LeanInk adapter 2022-07-27 20:11:41 +02:00
Henrik Böving 583e2299b7 chore: fix CI on main 2022-07-27 15:17:23 +02:00
Henrik Böving 108d36d0f0 fix: whitespace after declaration without arguments
Closes: #76
2022-07-27 14:19:40 +02:00