Agda 1 Bugs

Status: Beta

Brought to you by: ccoquand, ikegamidaisuke, mbenke, n-kato, t-seino

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	Owner▾ Sort A -> Z Sort Z -> A Filter by Owner	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

Ticket Number
Summary
Milestone
Status
Owner
Creator
Created
Updated
Labels
Priority

(applies to this page only)