Custom query (9 matches)

Filters
 
or
 
  
 
Columns

Show under each result:


Status: closed (9 matches)

Ticket Summary Owner Type Priority Version Severity
#15852 Undo immediately after 'save.' does not work Pierre-Yves Strub defect 1 pre-1.x trivial
#16374 Visual weak-check indicator enhancement 1 pre-1.x normal
#16663 Goal window should update on tactic failure... Pierre-Yves Strub defect 2 pre-1.x minor
#17049 "restart scripting" not working in ProofGeneral defect 2 pre-1.x minor
#17199 PG: Default weak-check mode indicator is invalid. Pierre-Yves Strub defect 2 pre-1.x minor
#17266 Clear goal window when no more goals Pierre-Yves Strub enhancement 2 pre-1.x minor
#15769 ProofGeneral issue with new EasyCrypt: undo step at EOF give Emacs type error Pierre-Yves Strub defect 3 pre-1.x minor
#15853 timeout and prover settings are not undone Pierre-Yves Strub defect 3 pre-1.x normal
#17213 Retracting/Resetting should cause easycrypt to reload the prelude Pierre-Yves Strub defect 3 pre-1.x normal
Note: See TracQuery for help on using queries.