blob: 9edd652917259ecacc9cec5a414e9419587bc0bd (
plain)
1
2
3
4
5
6
7
8
|
Notes to include in documentation.
----------------------------------
Why is C-c C-b useful? Could just use the file to read it one go
(will we have a command to do this other than via the process?).
BUT it's nice because it stops exactly where a proof fails, so you can
continue development from there.
|
