Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
View Tickets
Search
Context Navigation
Back to Ticket #30
Change History for
Ticket #30
Version
Date
Author
Comment
1
17 years
David Aspinall
We need some test cases for this in ed.inf.proofgeneral.tests. If it …
0
17 years
David Aspinall <da+pgtrac@…>
Initial version