diff options
| author | Hugo Herbelin | 2014-08-11 12:39:36 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2014-08-12 13:37:13 +0200 |
| commit | eec197a86c37b0298fd551c0e5de23ac0c276f66 (patch) | |
| tree | dbe5c18243dcea67180253809a31b3198b472498 /kernel | |
| parent | c48ade3f0d6324872d292932e797ffd718ad57d9 (diff) | |
Fixing parsing of bullets after a "...".
The lexer parses bullets only at the beginning of sentence. In
particular, the lexer recognizes sentences (this feature was
introduced for the translator and it is still used for the
beautifier). It recognized "." but not "...'. I added "..." followed
by space or eol as a terminator of sentences. I hope this is
compatible with the rest of the code dealing with end of
sentences.
Fixed also parse_to_dot which was not aware of "...".
Maybe there are similar things to do with coqide or PG?
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions