The GraPE Graphical Proof Editor Bugs

Status: Alpha

Brought to you by: mnwdns, ozandd, xiemaisi

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
8	couldn't start Maude Exception	Subversion	open	Max Schäfer	2017-08-16	2020-05-06	5
7	Exception when cancelling TeX export	Subversion	open		2007-03-19	2007-03-19	3
6	incorrect exception handling	Subversion	open		2006-12-11	2006-12-11	3
5	maude process is not terminated	Subversion	open		2006-12-05	2006-12-05	5
2	selection in scope of negation possible	Subversion	open		2006-08-26	2006-09-29	3

Ticket Number
Summary
Milestone
Status
Owner
Creator
Created
Updated
Labels
Priority

(applies to this page only)