diff options
| author | Pierre-Marie Pédrot | 2019-06-24 10:51:41 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-06-24 10:51:41 +0200 |
| commit | 95ff3c577233bfa012464658110da6eadb89baa2 (patch) | |
| tree | d73b363f9535cbac8ac4c87c649f32b54f2756ca /vernac/comProgramFixpoint.ml | |
| parent | e7ae7950bb50923e005898d18158593754108725 (diff) | |
| parent | 71ea3ca8b4d3a6fa6b005e48ff7586176b06259e (diff) | |
Merge PR #10394: [ide] chop sentences taking into account QUOTATION token
Ack-by: SkySkimmer
Ack-by: gares
Reviewed-by: ppedrot
Diffstat (limited to 'vernac/comProgramFixpoint.ml')
0 files changed, 0 insertions, 0 deletions