Skip to content

Pull requests: cpitclaudel/alectryon

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

(bug: lean4.py): Propagate the lakefile
#98 by gaetanserre was merged Sep 14, 2024 Loading…
(bug: lean4.py): Propagate the lakefile
#96 by gaetanserre was closed Jul 28, 2024 Loading…
Implement Lean 4 support
#76 by insightmind was merged Jun 12, 2022 Loading…
AST: very basic Lean3 support improvement
#64 by ericrbg was closed Oct 26, 2021 Loading…
3 of 6 tasks
Add a --pygments-style option
#62 by cpitclaudel was merged Aug 20, 2021 Loading…
pygment style for elpi
#61 by gares was closed Aug 23, 2021 Draft
New role ghref for pointing to files on github
#56 by gares was closed Aug 26, 2021 Loading…
2 of 3 tasks
sexp parser: ignore more malformed input
#51 by anton-trunov was closed Jul 14, 2021 Loading…
Add preamble and copy assets
#47 by start974 was merged Jul 8, 2021 Loading…
Pypi package
#46 by start974 was merged Jul 1, 2021 Loading…
Fix elisp package
#42 by syohex was merged May 6, 2021 Loading…
Print better tracebacks
#38 by JasonGross was merged Jul 3, 2021 Loading…
Add support for Cmd key on Mac
#21 by jadephilipoom was closed Mar 15, 2021 Loading…
cli: Invoke coqdoc in a temporary directory
#17 by cpitclaudel was merged Dec 18, 2020 Loading…
Update literate.v
#9 by thery was closed Dec 11, 2020 Loading…
ProTip! What’s not been updated in a month: updated:<2024-11-18.