Changes between Initial Version and Version 1 of Ticket #418
- Timestamp:
- Aug 23, 2011, 1:42:38 PM (13 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #418
-
Property
Status
changed from
newtoclosed -
Property
Resolution
changed from
tofixed
-
Property
Status
changed from
-
Ticket #418 – Description
initial v1 1 2 1 Hello! I use Proof General with Coq, Utoks mode is enabled. 3 2
