-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathNEWS
53 lines (33 loc) · 1.27 KB
/
NEWS
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
ob-coq News -- history of user-visible changes -*- outline -*-
* 0.0 builds
** 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