Skip to content

Issues: coq-community/proviola

New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

12 Open 7 Closed
12 Open 7 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

input from coqdoc fails to handle coqdoc-comments in the middle of tactics bug Something isn't working major
#19 opened Dec 14, 2014 by palmskog
proviola (python 2.7.3) barfs on some unicode characters bug Something isn't working major
#18 opened Nov 14, 2013 by palmskog
5
isCommand method is buggy bug Something isn't working major
#17 opened Nov 13, 2013 by palmskog
1
Proof structure bug Something isn't working major
#16 opened Aug 2, 2013 by palmskog
Proviola layout: generated-by blocks enhancement New feature or request major
#15 opened Aug 29, 2011 by palmskog
Proviola layout: do not crop long text enhancement New feature or request major
#14 opened Aug 29, 2011 by palmskog
Proviola layout: do not crop long text enhancement New feature or request major
#13 opened Aug 29, 2011 by palmskog
Check Hendrik Tews' ProofTree visualization code major proposal
#12 opened Aug 26, 2011 by palmskog
';' can be partially evaluated using Set Ltac Debug. enhancement New feature or request major
#11 opened Aug 26, 2011 by palmskog
3
Refactor CoqMovie and CoqdocMovie to be equal. major task
#10 opened Aug 23, 2011 by palmskog
2
Port to Python 3 enhancement New feature or request minor
#8 opened Aug 23, 2011 by palmskog
1
keyboard navigation for movies enhancement New feature or request major
#6 opened Feb 18, 2011 by palmskog
ProTip! Exclude everything labeled bug with -label:bug.