Agda 1 / Bugs

Bugs Maximize Restore

# Sort A -> Z Sort Z -> A	Summary▾ Sort A -> Z Sort Z -> A	Milestone▾ Sort A -> Z Sort Z -> A Filter by Milestone	Status▾ Sort A -> Z Sort Z -> A Filter by Status	Created▾ Sort A -> Z Sort Z -> A	Updated▾ Sort A -> Z Sort Z -> A	Priority▾ Sort A -> Z Sort Z -> A
9	agda-mode.el uses deprecated cl-push/cl-pop	None	open	2007-10-03	2007-10-03	5
8	3 installation issues	None	open	2007-10-03	2007-10-03	5
7	After termination check agda needs restart	None	open	2007-02-07	2007-02-07	5
6	Installation description needs to be updated	None	open	2007-01-24	2007-01-24	5
5	funny error	None	open	2007-01-09	2007-01-09	5
3	Stack overflow...	None	open-postponed	2005-03-18	2005-05-20	2
1	Funny behaviour of @_	v1.0_(example)	open	2004-11-24	2004-11-24	5