cpitclaudel alectryon issues

cpitclaudel / alectryon

A collection of tools for writing technical documents that mix Coq code and prose.

MIT License

223 stars 35 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

(bug: lean4.py): Propagate the lakefile

#96 gaetanserre opened 1 week ago
1
Nice quotes in TeX output

#95 s5bug closed 2 months ago
4
Alectryon displays local definitions (with set, pose) as declarations

#94 Casteran opened 7 months ago
3
Update README.rst

#93 gleachkr opened 8 months ago
1
Broken links in README

#92 BoltonBailey opened 9 months ago
1
Unable to use snippets-latex backend

#91 dunnl opened 1 year ago
3
Feture request: Change assets path

#90 cschmitt-mpi opened 1 year ago
1
alectryon.el: editing in reST mode should handle tabs

#89 dunnl opened 1 year ago
5
alectryon.el should assign a default value to flyspell-prog-text-faces

#88 dunnl closed 1 year ago
3
Only the first line of the output HTML file is interactive

#87 agrarpan opened 1 year ago
1
Add a --body-only option for webpage backend

#86 lthms opened 1 year ago
0
Displaying alectryon comments as lines in Emacs

#85 wags-1314 opened 1 year ago
1
Support specifying the LeanInk path

#84 utensil opened 1 year ago
1
Add `lean4+md` and `lean3+md` as frontends

#83 utensil closed 1 year ago
4
Some links of Lean recipes in README are broken due to inconsistent naming

#82 utensil opened 1 year ago
2
How to use with a _CoqProject

#81 JoJoDeveloping opened 2 years ago
1
setup.cfg: alectryon.__version__ -> alectryon.__init__.__version__

#80 xgqt closed 2 years ago
1
feat(docutils): Use `section_self_link` (needs html5 + CSS update)

#79 erikmd opened 2 years ago
12
--coqc-arg appears to not be passed as expected

#78 Boarders opened 2 years ago
4
Hiding proof completely

#77 jjhugues opened 2 years ago
8
Implement Lean 4 support

#76 insightmind closed 2 years ago
9
Better support for coqdoc

#75 annenkov opened 2 years ago
1
Feature wish: show types of top-level identifiers in definitions (on mouse hover)

#74 anton-trunov opened 2 years ago
2
Submit your extension to awesome-sphinxdoc

#73 intoverflow opened 2 years ago
2
extending the lexer in the header

#72 gares opened 2 years ago
1
help understanding sertop error

#71 affeldt-aist opened 2 years ago
1
CI for coq-serapi

#70 ejgallego opened 2 years ago
2
sertop can't be found

#69 arthurpaulino closed 2 years ago
2
Install path for manual installation

#68 jjhugues closed 2 years ago
3
Bump version and add -dev to version number for main branch

#67 jjhugues closed 2 years ago
3
Feature request: hiding a paragraph

#66 jjhugues closed 2 years ago
14
--copy-assets and -o

#65 jjhugues closed 2 years ago
4
AST: very basic Lean3 support improvement

#64 ericrbg closed 2 years ago
7
[wish] :mquote:`nice <.s(foo).msg{*ugly*}>`

#63 gares closed 2 years ago
4
Add a --pygments-style option

#62 cpitclaudel closed 2 years ago
0
pygment style for elpi

#61 gares closed 2 years ago
6
`alectryon.minimal` and a no-`coq-serapi` use-case

#60 jhaag opened 2 years ago
14
Syntax error in `alectryon/alectryon/transforms.py` using Python 3.7.5

#59 jhaag closed 2 years ago
6
[question] pygments style

#58 gares closed 2 years ago
4
[question][wish] flag to exit non zero on errors

#57 gares closed 2 years ago
2
New role ghref for pointing to files on github

#56 gares closed 2 years ago
20
alectryon.el expects a local Alectryon installation?

#55 Zimmi48 closed 2 years ago
1
Include position information in the [location] attribute.

#54 gmalecha closed 2 years ago
6
Printing inductive types as 2D inference rules?

#53 anton-trunov opened 3 years ago
7
Quick mode?

#52 gmalecha closed 2 years ago
13
sexp parser: ignore more malformed input

#51 anton-trunov closed 3 years ago
2
Parser error on large QuickChick properties

#50 anton-trunov closed 3 years ago
4
Some pygment declarations for MetaCoq commands

#49 mattam82 opened 3 years ago
3
Syntax error: illegal begin of vernac. -- with indented comments

#48 start974 opened 3 years ago
1
Add preamble and copy assets

#47 start974 closed 3 years ago
3