Available Reports

Compose a new ticket query by selecting filters and columns to display.

• List all active tickets by priority.
• Color each row based on priority.

This report shows how to color results by priority, while grouping results by milestone.

Last modification time, description and reporter are included as hidden fields for useful RSS export.

This report shows how to color results by priority, while grouping results by version.

Last modification time, description and reporter are included as hidden fields for useful RSS export.

• List all active tickets by priority.
• Color each row based on priority.

• List all active tickets by priority.
• Show all tickets owned by the logged in user in a group first.

A more complex example to show how to make advanced reports.

List assigned tickets, group by ticket owner, sorted by priority.

List tickets assigned, group by ticket owner. This report demonstrates the use of full-row display.

All tickets owned by you, sorted by assignment type.

(This report uses the automatically-set USER dynamic variable)

20 Newest Tickets.

PGIP design change requests and history

These tasks are for work required in supporting components for connecting provers to Proof General, e.g., the ProofGeneral code inside Isabelle. Note that although the milestones are set by those for Proof General Eclipse, these reports include those for Proof General Emacs support.

Tickets for Proof General Eclipse

Outstanding tickets for PG Emacs.