Change History for Ticket #430

Version Date Author Comment
8 12 years David Aspinall The UI will now switch to display the *coq* window when debugging. …
0 13 years coquser Initial version