Context Navigation

Custom Query (1 match)

Filters

	Reporter
	Status	accepted assigned closed new reopened
And		Or

Group results by descending

Show under each result: Description

Max items per page

Ticket	Summary	Status	Owner	Type	Priority	Milestone
#454	coq mode: compile before import fails when no .v file	assigned	hendrik	enhancement	major	PG-Emacs-4.3

Note: See TracQuery for help on using queries.