diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-03-08 16:03:24 +0100 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-03-08 16:03:24 +0100 |
commit | 60dcd96a3efaff3cde5d11873ff82669d8dbe993 (patch) | |
tree | d38ddfce765e90bb617b1a4536db1ea4a7eb6b08 /images/epg-abort.png | |
parent | 0443734841b337b3695de02275b1a2500931358b (diff) |
Fixing #62.
I don't know if it is a coq bug that bullet do not support Time. I
remove Time from bullets for the moment.
Diffstat (limited to 'images/epg-abort.png')
0 files changed, 0 insertions, 0 deletions