The Atelier Focal

Show Task #

[ + ]

ID	Task Type	Severity	Summary	Date Opened	Status	Progress
50	Bug Report	Low	FoCDoc latex generation bug	2005-12-8	Assigned
181	Bug Report	Medium	Preuve Zenon non explicable	2008-11-15	Assigned
189	Bug Report	Medium	Self incompatible avec sa reprÃ©sentation dans un thÃ©orÃ¨me.	2008-12-1	Assigned
201	Bug Report	Medium	Logical let rec	2009-03-6	Assigned
207	Bug Report	High	Erreur de syntaxe Zenon sur les let in.	2009-05-28	Assigned
215	Bug Report	High	ProblÃ¨me syntaxe Zenon - Constructeur 0aires.	2009-06-16	Assigned
220	Bug Report	High	Unbound abst_T in Coq	2012-11-13	Assigned
217	Bug Report	Medium	EspÃ¨ces vides	2009-07-7	New
195	Bug Report	Medium	Zenon et syntaxe des annotations de type *.	2009-01-5	Unconfirmed
204	Feature Request	Medium	origin of a definition in FoCDoC	2009-03-10	Unconfirmed
206	Bug Report	High	Erreur de typage Ã Coq.	2009-05-28	Unconfirmed
219	Feature Request	Low	Generate the inheritance graph as a dot file.	2012-02-21	Unconfirmed