Poussin proof assistant - Tasks: Browse Items

Group

Browse with the query form and selection.

Additional constraint :
since

Items to show at once:

Column heading links sort results (up or down), you can also sort by priority or reset sort. You can also activate multicolumn sort. Currently, results are sorted by Item ID.

5 matching items

Item ID	Summary	Status	Assigned to	Should be Finished on
#7938	factoriser le code de destruction d'inductive		alalme	2008-04-11
#7937	unification algorithm		alalme	2008-04-11
#7848	add the test for well-formness of inductive type in proof assistant interface	Need Info	alalme	2008-03-12
#7711	hierarchical type	Postponed	alalme	2008-01-26
#7703	modif	Done	alalme	2008-01-23

5 matching items

Open Items Priority Colors:
1 2 3 4 5 6 7 8 9
Closed Items Priority Colors:
1 2 3 4 5 6 7 8 9