Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
View Tickets
Search
Context Navigation
Back to Ticket #430
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