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