Search results

input from coqdoc fails to handle coqdoc-comments in the middle of tactics

bugSomething isn't workingSomething isn't working

major

Status: Open.

#19 In rocq-community/proviola;

· palmskog opened on Dec 14, 2014

proviola (python 2.7.3) barfs on some unicode characters

bugSomething isn't workingSomething isn't working

major

Status: Open.

#18 In rocq-community/proviola;

· palmskog opened on Nov 14, 2013

isCommand method is buggy

bugSomething isn't workingSomething isn't working

major

Status: Open.

#17 In rocq-community/proviola;

· palmskog opened on Nov 13, 2013

Proof structure

bugSomething isn't workingSomething isn't working

major

Status: Open.

#16 In rocq-community/proviola;

· palmskog opened on Aug 2, 2013

Proviola layout: generated-by blocks

enhancementNew feature or requestNew feature or request

major

Status: Open.

#15 In rocq-community/proviola;

· palmskog opened on Aug 29, 2011

Proviola layout: do not crop long text

enhancementNew feature or requestNew feature or request

major

Status: Open.

#14 In rocq-community/proviola;

· palmskog opened on Aug 29, 2011

Proviola layout: do not crop long text

enhancementNew feature or requestNew feature or request

major

Status: Open.

#13 In rocq-community/proviola;

· palmskog opened on Aug 29, 2011

Check Hendrik Tews' ProofTree visualization code

major

proposal

Status: Open.

#12 In rocq-community/proviola;

· palmskog opened on Aug 26, 2011

';' can be partially evaluated using Set Ltac Debug.

enhancementNew feature or requestNew feature or request

major

Status: Open.

#11 In rocq-community/proviola;

· palmskog opened on Aug 26, 2011

Refactor CoqMovie and CoqdocMovie to be equal.

major

task

Status: Open.

#10 In rocq-community/proviola;

· palmskog opened on Aug 23, 2011

Port to Python 3

enhancementNew feature or requestNew feature or request

minor

Status: Open.

#8 In rocq-community/proviola;

· palmskog opened on Aug 23, 2011

keyboard navigation for movies

enhancementNew feature or requestNew feature or request

major

Status: Open.

#6 In rocq-community/proviola;

· palmskog opened on Feb 18, 2011