Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
View Tickets
Search
Context Navigation
Back to Ticket #86
Change History for
Ticket #86
Version
Date
Author
Comment
1
17 years
David Aspinall
We need to add/identifiy a test case for this in ed.inf.proofgeneral.tests
0
17 years
David Aspinall
Initial version