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.

Tickets for Proof General Eclipse

20 Newest Tickets.

Outstanding tickets for PG Emacs.

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.

PGIP design change requests and history

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

All tickets owned by you, sorted by assignment type.

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

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

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

List assigned tickets, group by ticket owner, sorted by 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.