Custom Query (361 matches)
Results (10 - 12 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#50 | fixed | Make sure PG perspective is default on product startup. | ||
Description |
Recently broken, the resource perspective appears to be default at the moment. |
|||
#56 | fixed | PGActions do not always clear their status (report "someone else owns the prover") | ||
Description |
Sometimes buttons have no action because of prover-ownership being held by another action. We need recovery in case of this; restart should always be available. Repeatable test cases showing this problem are required. It may be intermittent during development (but seems quite common). |
|||
#63 | fixed | Improve symbols: fill out default table, add ascii-symbol completion | ||
Description |
|
Note: See TracQuery
for help on using queries.