diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2011-12-16 15:09:04 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2011-12-16 15:09:04 +0000 |
| commit | 9a09cadf8353ae9b788891363394f4937fcbf278 (patch) | |
| tree | 72b684795ed6758b02e08b2e50fbae85381f0d93 /README | |
| parent | 4f14dc14a32e6bcf0c939989109920d6a3d12815 (diff) | |
Adapting coq syntax recognition to the future v8.4 behavior of bullets
(stand-alone commands), which is different of the experiments made
until now in coq/trunk.
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions