diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2013-07-05 13:58:19 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2013-07-05 13:58:19 +0000 |
| commit | 85434fdd653befc5e6e87818dd94bdb5076a7212 (patch) | |
| tree | d30dd1582de2394478b0bd1ecece653360124bd7 /doc/ProofGeneral.texi | |
| parent | 8dd0f5262b6091e57fef626787557522b2d10661 (diff) | |
Fixing #466. Indent. bug when illformed commment at file beginning.
Nasty bug due to smie fallback to backward-sexp when finding an
unknown token, namely the token "", which happens when reaching the
bof. Had to add a specific token for b o f.
Diffstat (limited to 'doc/ProofGeneral.texi')
0 files changed, 0 insertions, 0 deletions