Custom Query (361 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Results (193 - 195 of 361)

← 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 →
Ticket Owner Reporter Resolution Summary
#391 David Aspinall Makarius invalid proof-full-annotation causes instabilities
#395 David Aspinall coquser fixed proof-segment-up-to-using-cache broken since Oct 11 20:07:17 2010 +0200
#397 David Aspinall tews fixed Coq PG: changing scripting buffer and automatically restarting misses first command
← 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 →
Note: See TracQuery for help on using queries.