0

I am missing one feature in emacs Tuareg mode: an outline of the current OCaml buffer with a list of top-level definitions. There is a similar feature in Proof General mode for Coq which I find very useful. If there is an additional package or some undocumented feature like this?

Below is a screenshot how this looks in Proof General:

enter image description here

krokodil
  • 1,326
  • 10
  • 18

0 Answers0