ob-coq News -- history of user-visible changes           -*- outline -*-

* 0.0 builds

** 0.0.9 build

Add support for Rocq 9.
** 0.0.8 build

No user-visible changes or bugfixes-- just updated copyrights.
** 0.0.7 build

*** User-visible changes

**** Coalesce blank lines

Introduce `inf-coq-coalesce-blank-lines'; if set to t, merge multiple successive
blank lines into one in the output of `inf-coq-send-string'.
**** Remove informational lines

Introduce `inf-coq-elide-informational-lines; if set to t, remove lines that
appear to be informational the output of `inf-coq-send-string'.
** 0.0.6 build

*** Bugfixes

**** Count newlines in input rather than periods
** 0.0.5 build

*** Bugfixes

**** Fix #2: Fix inf-coq-prompt-regexp

Replace "\\b" with "^" at the start of the regexp.
** 0.0.4 build

*** Bugfixes

**** Change the way in which `inf-coq-send-string' determines that output is complete
** User-visible changes

**** Change the default value for `ob-coq-prompt-regexp'
**** Have `inf-coq-run-coq', when run interactively, change to the new comint buffer
** 0.0.3 build

*** Bugfixes

**** Fix #1: `inf-coq-quit' sometimes prompts
** 0.0.2 build

*** User-visible changes

**** Update `inf-coq-prompt-regexp'
**** Add an upper limit to the number of times `inf-coq-send-string' will poll for output

...to avoid infinite loops.
**** Add an Emacs package to the build
** 0.0.1 build: initial release

