Skip to content

Issues: executablebooks/sphinx-proof

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Clear current search query, filters, and sorts
28 Open 28 Closed
28 Open 28 Closed
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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Declare LaTeX Macros in conf.py
#1 opened Aug 21, 2020 by najuzilu updated Aug 21, 2020
[DISC] proof:proof has no label option
#10 opened Aug 31, 2020 by mmcky updated Sep 1, 2020
2
[DISC] Add {proof} as new role
#13 opened Aug 31, 2020 by najuzilu updated Sep 1, 2020
4
[ENH] Support for all directive types
#7 opened Aug 31, 2020 by mmcky updated Sep 1, 2020
8
Clicking on ref link leads to wrong location
#27 opened Sep 2, 2020 by jstac updated Sep 5, 2020
6
[DOC] document how this is different to sphinxcontrib-proof
#8 opened Aug 31, 2020 by mmcky updated Sep 28, 2020
5
Clash with MathJax bug Something isn't working
#49 opened Feb 4, 2021 by nathanael-fijalkow updated Feb 10, 2021
Issues when directives share the same title and no number
#51 opened Feb 13, 2021 by nathanael-fijalkow updated Feb 13, 2021
Allow customizing environment text header enhancement New feature or request
#53 opened Mar 5, 2021 by tobydriscoll updated Mar 5, 2021
1
Allow header translation to other languanges
#77 opened Feb 17, 2022 by raptistasos updated Feb 17, 2022
1
Shared numbering between directives enhancement New feature or request
#64 opened Sep 30, 2021 by TimRoith updated Apr 23, 2022
3
Examples in different files have same labels (e.g., 'example-0') bug Something isn't working
#79 opened May 20, 2022 by photong updated May 20, 2022
1
Please add an "assumption" directive. enhancement New feature or request
#73 opened Dec 30, 2021 by shailesh1729 updated Jun 27, 2022
4
Support a generic numbered directive with user defined name and other properties
#84 opened Jul 14, 2022 by shailesh1729 updated Jul 14, 2022
Using References in (sub)section titles bug Something isn't working
#85 opened Aug 19, 2022 by schwabts updated Aug 19, 2022
1
Using multi-line math outputs bug Something isn't working
#91 opened Oct 15, 2022 by ebridge2 updated Oct 15, 2022
1
Ability to cross-link references from inside of math boxes enhancement New feature or request
#92 opened Oct 22, 2022 by ebridge2 updated Oct 22, 2022
Invoke margin links inside sphinx-proof blocks
#94 opened Dec 26, 2022 by ShashShukla updated Dec 26, 2022
1
ValueError: 'theorem ' is not in list bug Something isn't working
#76 opened Feb 5, 2022 by andrewcstewart updated Apr 24, 2023
6
Incorporate Improvements from mystjs implementation enhancement New feature or request
#95 opened May 15, 2023 by mmcky updated May 15, 2023
2 tasks
New release of sphinx-proof enhancement New feature or request
#93 opened Nov 3, 2022 by KennethNielsen updated Aug 21, 2023
3
Update Color Schemes enhancement New feature or request
#98 opened May 9, 2024 by mmcky updated May 9, 2024
ENH: Support for Gated Directives (for Executable Code) enhancement New feature or request
#108 opened Jul 5, 2024 by mmcky updated Jul 5, 2024
License conflict
#112 opened Jul 29, 2024 by agoose77 updated Jul 29, 2024
sphinx-proof on conda-forge? enhancement New feature or request
#110 opened Jul 22, 2024 by gschramm updated Jul 29, 2024
3 tasks
1
ProTip! Adding no:label will show everything without a label.