Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / executablebooks/sphinx-proof issues and pull requests

#133 - ⬆️ Bump pypa/gh-action-pypi-publish from 1.10.1 to 1.12.3

Pull Request - State: open - Opened by dependabot[bot] about 2 months ago
Labels: dependencies

#132 - ⬆️ Bump codecov/codecov-action from 4.5.0 to 5.1.1

Pull Request - State: open - Opened by dependabot[bot] about 2 months ago
Labels: dependencies

#131 - ⬆️ Bump codecov/codecov-action from 4.5.0 to 5.0.7

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago - 1 comment
Labels: dependencies

#130 - ⬆️ Bump codecov/codecov-action from 4.5.0 to 5.0.2

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago - 1 comment
Labels: dependencies

#129 - Corollary is not translated

Issue - State: open - Opened by dtenbrinck 3 months ago
Labels: bug

#128 - ⬆️ Bump pypa/gh-action-pypi-publish from 1.10.1 to 1.12.2

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago - 1 comment
Labels: dependencies

#127 - Spanish translations

Pull Request - State: open - Opened by MPenaR 3 months ago - 1 comment

#125 - Cross references are not translated

Issue - State: open - Opened by dtenbrinck 3 months ago - 13 comments
Labels: bug

#124 - ⬆️ Bump pypa/gh-action-pypi-publish from 1.10.1 to 1.11.0

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago - 1 comment
Labels: dependencies

#123 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: open - Opened by pre-commit-ci[bot] 4 months ago

#122 - ⬆️ Bump pypa/gh-action-pypi-publish from 1.10.1 to 1.10.3

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago - 1 comment
Labels: dependencies

#121 - ⬆️ Bump codecov/codecov-action from 4.5.0 to 4.6.0

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago - 1 comment
Labels: dependencies

#120 - add missing translations for Dutch

Pull Request - State: open - Opened by pjbruin 4 months ago

#119 - translate "Proof" title

Pull Request - State: open - Opened by pjbruin 4 months ago

#118 - ⬆️ Bump pypa/gh-action-pypi-publish from 1.10.1 to 1.10.2

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago - 1 comment
Labels: dependencies

#117 - FIX: enable publish trigger

Pull Request - State: closed - Opened by mmcky 5 months ago

#116 - RELEASE: Setup for release of v0.2.0

Pull Request - State: closed - Opened by mmcky 5 months ago - 3 comments

#115 - ⬆️ Bump pypa/gh-action-pypi-publish from 1.10.0 to 1.10.1

Pull Request - State: closed - Opened by dependabot[bot] 5 months ago
Labels: dependencies

#114 - ⬆️ Bump pypa/gh-action-pypi-publish from 1.9.0 to 1.10.0

Pull Request - State: closed - Opened by dependabot[bot] 5 months ago
Labels: dependencies

#113 - [pre-commit.ci] pre-commit autoupdate

Pull Request - State: closed - Opened by pre-commit-ci[bot] 6 months ago

#112 - License conflict

Issue - State: open - Opened by agoose77 6 months ago

#111 - Change admonition title CSS specificity

Pull Request - State: closed - Opened by DrDrij 6 months ago - 4 comments

#110 - sphinx-proof on conda-forge?

Issue - State: open - Opened by gschramm 7 months ago - 1 comment
Labels: enhancement

#109 - ENH: reconfigure css style

Pull Request - State: closed - Opened by mmcky 7 months ago - 1 comment

#108 - ENH: Support for Gated Directives (for Executable Code)

Issue - State: open - Opened by mmcky 7 months ago
Labels: enhancement

#107 - MAINT: fix RTD

Pull Request - State: closed - Opened by mmcky 7 months ago - 1 comment

#106 - ENH: Enable a minimal theme option for simpler admonition style

Pull Request - State: closed - Opened by mmcky 7 months ago - 1 comment
Labels: enhancement

#105 - MAINT: review of docs, minor maintenance, and bug fix

Pull Request - State: closed - Opened by mmcky 7 months ago - 10 comments

#104 - ⬆️ Bump pypa/gh-action-pypi-publish from 1.3.1 to 1.9.0

Pull Request - State: closed - Opened by dependabot[bot] 7 months ago
Labels: dependencies

#103 - ⬆️ Bump actions/checkout from 2 to 4

Pull Request - State: closed - Opened by dependabot[bot] 7 months ago
Labels: dependencies

#102 - ⬆️ Bump actions/setup-python from 1 to 5

Pull Request - State: closed - Opened by dependabot[bot] 7 months ago
Labels: dependencies

#101 - ⬆️ Bump codecov/codecov-action from 3.1.4 to 4.5.0

Pull Request - State: closed - Opened by dependabot[bot] 7 months ago
Labels: dependencies

#100 - ⬆️ Bump pre-commit/action from 3.0.0 to 3.0.1

Pull Request - State: closed - Opened by dependabot[bot] 7 months ago
Labels: dependencies

#99 - MAINT: master to main, and various maintenance tasks

Pull Request - State: closed - Opened by mmcky 7 months ago - 5 comments
Labels: maintenance

#98 - Update Color Schemes

Issue - State: open - Opened by mmcky 9 months ago
Labels: enhancement

#97 - BUG: sphinx proof is generating warnings

Issue - State: closed - Opened by mmcky 12 months ago
Labels: bug

#96 - Fix typo in index.md

Pull Request - State: closed - Opened by nthiery over 1 year ago - 1 comment

#95 - Incorporate Improvements from mystjs implementation

Issue - State: open - Opened by mmcky over 1 year ago
Labels: enhancement

#94 - Invoke margin links inside sphinx-proof blocks

Issue - State: open - Opened by ShashShukla about 2 years ago - 1 comment

#93 - New release of sphinx-proof

Issue - State: open - Opened by KennethNielsen about 2 years ago - 3 comments
Labels: enhancement

#92 - Ability to cross-link references from inside of math boxes

Issue - State: open - Opened by ebridge2 over 2 years ago
Labels: enhancement

#91 - Using multi-line math outputs

Issue - State: open - Opened by ebridge2 over 2 years ago - 1 comment
Labels: bug

#90 - Support for Exercises directive & Added Chinese translation (zh_CN)

Pull Request - State: open - Opened by 11Haoyu over 2 years ago - 8 comments

#89 - Unable to use sphinx-proof in markdown cells of Jupyter Notebooks

Issue - State: closed - Opened by schwabts over 2 years ago - 3 comments
Labels: bug

#88 - Support for Exercises directive & Added Chinese translation (zh_CN)

Pull Request - State: closed - Opened by 11Haoyu over 2 years ago - 3 comments

#87 - Added translation to Chinese (zh_CN) language & support for exercise directive

Pull Request - State: closed - Opened by 11Haoyu over 2 years ago - 1 comment

#86 - Hide Content Only Works For Non-Proof Directives, here

Issue - State: open - Opened by schwabts over 2 years ago - 3 comments
Labels: bug

#85 - Using References in (sub)section titles

Issue - State: open - Opened by schwabts over 2 years ago - 1 comment
Labels: bug

#83 - TEST: Added test for translations

Pull Request - State: closed - Opened by AakashGfude over 2 years ago - 1 comment

#82 - Fixes in tests and pre-commit file

Pull Request - State: closed - Opened by AakashGfude over 2 years ago - 2 comments

#81 - Unable to suppress proof index

Issue - State: closed - Opened by bmcfee over 2 years ago - 2 comments
Labels: bug

#80 - Support for assumption directive #73

Pull Request - State: closed - Opened by shailesh1729 over 2 years ago - 16 comments

#79 - Examples in different files have same labels (e.g., 'example-0')

Issue - State: open - Opened by photong over 2 years ago - 1 comment
Labels: bug

#78 - Added italian translations

Pull Request - State: closed - Opened by dariomalchiodi over 2 years ago - 7 comments

#77 - Allow header translation to other languanges

Issue - State: open - Opened by raptistasos almost 3 years ago - 1 comment

#76 - ValueError: 'theorem ' is not in list

Issue - State: open - Opened by andrewcstewart almost 3 years ago - 6 comments
Labels: bug

#75 - Added translation to Czech language

Pull Request - State: closed - Opened by tomastalasek almost 3 years ago - 8 comments

#74 - Strange scrollbar appearing in the rendering of a labeled equation

Issue - State: closed - Opened by shailesh1729 about 3 years ago - 2 comments
Labels: bug

#73 - Please add an "assumption" directive.

Issue - State: open - Opened by shailesh1729 about 3 years ago - 4 comments
Labels: enhancement

#72 - Changing proof type name changes html layout

Issue - State: closed - Opened by mscharling about 3 years ago - 2 comments
Labels: bug

#71 - [ENH] Adding translations infrastructure and a word translation

Pull Request - State: closed - Opened by vincentxavier about 3 years ago - 9 comments

#70 - Support i18n

Issue - State: closed - Opened by vincentxavier about 3 years ago - 2 comments
Labels: enhancement

#69 - 🚀 RELEASE: v0.1.3

Pull Request - State: closed - Opened by AakashGfude over 3 years ago - 1 comment

#68 - 🐛 FIX: Other domain refs were throwing 'reference not found' error

Pull Request - State: closed - Opened by AakashGfude over 3 years ago

#67 - 🚀 RELEASE: v0.1.2

Pull Request - State: closed - Opened by AakashGfude over 3 years ago

#66 - 🐛 FIX: Singlehtml builder error when adding to another project.

Pull Request - State: closed - Opened by AakashGfude over 3 years ago - 1 comment

#65 - Singlehtml build throwing 'node not found' error

Issue - State: closed - Opened by AakashGfude over 3 years ago
Labels: bug

#64 - Shared numbering between directives

Issue - State: open - Opened by TimRoith over 3 years ago - 3 comments
Labels: enhancement

#63 - 🚀 RELEASE: v0.1.1

Pull Request - State: closed - Opened by AakashGfude over 3 years ago - 1 comment

#62 - 👌 IMPROVE: Resetting directive numbering between different directives

Pull Request - State: closed - Opened by AakashGfude over 3 years ago - 3 comments

#61 - Directive numbering does not reset between different directives

Issue - State: closed - Opened by AakashGfude over 3 years ago
Labels: bug

#60 - sphinx-proof trying to access parts of sphinx.ast that don't exist

Issue - State: closed - Opened by mmcky over 3 years ago - 3 comments
Labels: bug

#59 - 🚀 RELEASE: v0.1.0

Pull Request - State: closed - Opened by AakashGfude over 3 years ago - 1 comment

#58 - ENH: Add latex and support for non-title nodes

Pull Request - State: closed - Opened by AakashGfude over 3 years ago - 4 comments

#57 - Jupyter Book requires title for theorems

Issue - State: closed - Opened by kmoy1 almost 4 years ago - 2 comments

#56 - 🐛 FIX: Sphinxcontrib-bibtex version issue

Pull Request - State: closed - Opened by AakashGfude almost 4 years ago - 1 comment

#55 - Implement Support for LaTeX Builder

Issue - State: closed - Opened by tobydriscoll almost 4 years ago - 3 comments
Labels: bug

#54 - 📚 DOCS: Fix axiom typo

Pull Request - State: closed - Opened by tobydriscoll almost 4 years ago - 5 comments

#53 - Allow customizing environment text header

Issue - State: open - Opened by tobydriscoll almost 4 years ago - 1 comment
Labels: enhancement

#50 - Title required for most directives

Issue - State: closed - Opened by nathanael-fijalkow almost 4 years ago - 1 comment

#49 - Clash with MathJax

Issue - State: open - Opened by nathanael-fijalkow almost 4 years ago
Labels: bug

#48 - Sphinx v3.3 upgrade breaks enumerable nodes with no title

Issue - State: closed - Opened by najuzilu about 4 years ago - 1 comment
Labels: bug

#47 - 👌 IMPROVE: Make padding the same as admonitions

Pull Request - State: closed - Opened by najuzilu over 4 years ago - 1 comment

#46 - 👌 IMPROVE: Rename "proof" domain and role to "prf"

Pull Request - State: closed - Opened by najuzilu over 4 years ago - 1 comment

#45 - Could not import extension sphinxcontrib.prettyproof?

Issue - State: closed - Opened by nathanael-fijalkow over 4 years ago - 6 comments
Labels: bug

#44 - ✨ NEW: Migrate to sphinx-proof

Pull Request - State: closed - Opened by najuzilu over 4 years ago - 3 comments

#43 - 🐛 FIX: RTD fail to install local extension

Pull Request - State: closed - Opened by najuzilu over 4 years ago

#42 - 🚀 RELEASE: v0.0.3

Pull Request - State: closed - Opened by najuzilu over 4 years ago - 2 comments

#41 - [STY, ENH] Rename proof domain

Issue - State: closed - Opened by najuzilu over 4 years ago - 7 comments
Labels: enhancement

#40 - 🔧 MAINTAIN: Misc edits

Pull Request - State: closed - Opened by najuzilu over 4 years ago

#39 - 📚 DOCS: Add high-level description of API under syntax

Pull Request - State: closed - Opened by najuzilu over 4 years ago

#38 - 🗑️ DEPRECATE: Remove exercise directive

Pull Request - State: closed - Opened by najuzilu over 4 years ago

#37 - Documentation similarities to / different decisions from sphinxcontrib-proof

Issue - State: closed - Opened by choldgraf over 4 years ago - 2 comments
Labels: documentation

#36 - 🔧 MAINTAIN: Update links to reflect migration to EBP

Pull Request - State: closed - Opened by najuzilu over 4 years ago - 1 comment

#35 - Add a high-level description of the API first on /syntax.html

Issue - State: closed - Opened by choldgraf over 4 years ago - 2 comments

#34 - 📚 DOCS: Add class option for `proof:proof`

Pull Request - State: closed - Opened by najuzilu over 4 years ago - 1 comment