Changes between Initial Version and Version 1 of Ticket #493, comment 2


Ignore:
Timestamp:
Apr 27, 2015, 8:10:27 PM (9 years ago)
Author:
coquser
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #493, comment 2

    initial v1  
    2828
    2929This could be a coq error though. Are there examples of ... as a command starter?
     30
     31-- cpitcla