Custom Query (361 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Results (10 - 12 of 361)

1 2 3 4 5 6 7 8 9 10 11 12 13 14
Ticket Resolution Summary Owner Reporter
#493 wontfix ProofGeneral stalls/loops on ... David Aspinall coquser
#492 fixed Proof General: script management confused, couldn't find goal span for save. when evaluating past the bottom of a module that contains a theorem with the same name as the module David Aspinall coquser
#491 wontfix Print Implicit not available as emacs command David Aspinall coquser
1 2 3 4 5 6 7 8 9 10 11 12 13 14
Note: See TracQuery for help on using queries.