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
#50 fixed Make sure PG perspective is default on product startup. David Aspinall David Aspinall <da+pgtrac@…>
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") David Aspinall David Aspinall <da+pgtrac@…>
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 David Aspinall David Aspinall <da+pgtrac@…>
Description
  • The default symbol table should have a more complete set of Unicode/Isabelle? symbols
  • Completion on ASCII-names for symbols with display of unicode would be an excellent addition
1 2 3 4 5 6 7 8 9 10 11 12 13 14
Note: See TracQuery for help on using queries.