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
#84 - Support a generic numbered directive with user defined name and other properties
Issue -
State: open - Opened by shailesh1729 about 2 years ago
#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
#52 - Advanced numbering options: distinct for different directives, reset for each section
Issue -
State: closed - Opened by nathanael-fijalkow over 3 years ago
- 3 comments
#51 - Issues when directives share the same title and no number
Issue -
State: open - Opened by nathanael-fijalkow over 3 years ago
#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
#28 - [ENH] Use upstream flake8 instead of the one provided as pre-commit hook
Issue -
State: closed - Opened by AakashGfude about 4 years ago
#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