elpasync pushed a change to branch elpa/proof-general.
from ae7af9d7c0e Updating documentation strings about 3 columns mode.
new 1533f774fb7 Fix #848 (indentation of now tac).
new b82c21961f2 Fixing doc magic.Summary of changes: ci/test-indent/indent-tac-boxed.v | 22 ++++++++++++++++++++++ ci/test-indent/indent-tac.v | 22 ++++++++++++++++++++++ coq/coq-smie.el | 2 +- doc/ProofGeneral.texi | 14 +++++++------- 4 files changed, 52 insertions(+), 8 deletions(-)
