Custom Query (361 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Results (136 - 138 of 361)

← 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 →
Ticket Owner Reporter Resolution Summary
#296 courtieu Matt McCutchen fixed PG accepts garbage though Coq said "illegal begin of vernac"
#297 David Aspinall Matt McCutchen fixed Finding of lisp relative to the "proofgeneral" script is broken
#298 David Aspinall Norbert Schirmer fixed Isabelle indentation
← 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 →
Note: See TracQuery for help on using queries.