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

#117 - FIX: enable publish trigger

Pull Request - State: closed - Opened by mmcky 10 days ago

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

Pull Request - State: closed - Opened by mmcky 11 days 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] 11 days 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] 18 days ago
Labels: dependencies

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

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

#112 - License conflict

Issue - State: open - Opened by agoose77 about 2 months ago

#111 - Change admonition title CSS specificity

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

#110 - sphinx-proof on conda-forge?

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

#109 - ENH: reconfigure css style

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

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

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

#107 - MAINT: fix RTD

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

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

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

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

Pull Request - State: closed - Opened by mmcky 3 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] 3 months ago
Labels: dependencies

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

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

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

Pull Request - State: closed - Opened by dependabot[bot] 3 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] 3 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] 3 months ago
Labels: dependencies

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

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

#98 - Update Color Schemes

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

#97 - BUG: sphinx proof is generating warnings

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

#96 - Fix typo in index.md

Pull Request - State: closed - Opened by nthiery about 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 over 1 year ago - 1 comment

#93 - New release of sphinx-proof

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

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

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

#91 - Using multi-line math outputs

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

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

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

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

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

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

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

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

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

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

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

#85 - Using References in (sub)section titles

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

#83 - TEST: Added test for translations

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

#82 - Fixes in tests and pre-commit file

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

#81 - Unable to suppress proof index

Issue - State: closed - Opened by bmcfee about 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 over 2 years ago - 1 comment

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

Issue - State: open - Opened by andrewcstewart over 2 years ago - 6 comments
Labels: bug

#75 - Added translation to Czech language

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

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

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

#73 - Please add an "assumption" directive.

Issue - State: open - Opened by shailesh1729 over 2 years ago - 4 comments
Labels: enhancement

#72 - Changing proof type name changes html layout

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

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

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

#70 - Support i18n

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

#69 - 🚀 RELEASE: v0.1.3

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

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

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

#67 - 🚀 RELEASE: v0.1.2

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

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

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

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

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

#64 - Shared numbering between directives

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

#63 - 🚀 RELEASE: v0.1.1

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

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

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

#61 - Directive numbering does not reset between different directives

Issue - State: closed - Opened by AakashGfude about 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 about 3 years ago - 3 comments
Labels: bug

#59 - 🚀 RELEASE: v0.1.0

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

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

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

#57 - Jupyter Book requires title for theorems

Issue - State: closed - Opened by kmoy1 over 3 years ago - 2 comments

#56 - 🐛 FIX: Sphinxcontrib-bibtex version issue

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

#55 - Implement Support for LaTeX Builder

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

#54 - 📚 DOCS: Fix axiom typo

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

#53 - Allow customizing environment text header

Issue - State: open - Opened by tobydriscoll over 3 years ago - 1 comment
Labels: enhancement

#50 - Title required for most directives

Issue - State: closed - Opened by nathanael-fijalkow over 3 years ago - 1 comment

#49 - Clash with MathJax

Issue - State: open - Opened by nathanael-fijalkow over 3 years ago
Labels: bug

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

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

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

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

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

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

#45 - Could not import extension sphinxcontrib.prettyproof?

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

#44 - ✨ NEW: Migrate to sphinx-proof

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

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

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

#42 - 🚀 RELEASE: v0.0.3

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

#41 - [STY, ENH] Rename proof domain

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

#40 - 🔧 MAINTAIN: Misc edits

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

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

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

#38 - 🗑️ DEPRECATE: Remove exercise directive

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

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

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

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

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

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

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

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

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

#33 - 📚 DOCS: Additional documentation

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

#32 - ✨ NEW: Add `solution` directive

Pull Request - State: closed - Opened by najuzilu about 4 years ago - 16 comments

#31 - ✨️ NEW: Add MANIFEST file

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

#30 - 👌️ IMPROVE: Update extras

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

#29 - 👌️ IMPROVE: Using upstream flake8

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

#27 - Clicking on ref link leads to wrong location

Issue - State: open - Opened by jstac about 4 years ago - 6 comments

#26 - 👌️ IMPROVE: Add tox.ini

Pull Request - State: closed - Opened by najuzilu about 4 years ago - 8 comments

#25 - [ENH] Implement Github workflow

Pull Request - State: closed - Opened by najuzilu about 4 years ago - 7 comments

#24 - [STY] Remove `example` directive background color

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

#23 - [STY] Fixes #21: remove italics from proof

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

#22 - Plain background for examples?

Issue - State: closed - Opened by jstac about 4 years ago - 3 comments

#21 - Drop italics in proof body?

Issue - State: closed - Opened by jstac about 4 years ago - 2 comments

#20 - Miscellaneous edits

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

#19 - 👌️ IMPROVE: Review of test infrastructure

Pull Request - State: closed - Opened by AakashGfude about 4 years ago - 21 comments

#17 - Issue a new Release with Improvements

Issue - State: closed - Opened by mmcky about 4 years ago - 3 comments