Custom Query (361 matches)
Results (82 - 84 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#468 | wontfix | Some notations with periods make PG hang | ||
#491 | wontfix | Print Implicit not available as emacs command | ||
#493 | wontfix | ProofGeneral stalls/loops on ... |
Note: See TracQuery
for help on using queries.