Displaying alectryon comments as lines in Emacs

cpitclaudel / alectryon

A collection of tools for writing technical documents that mix Coq code and prose.

MIT License

227 stars 36 forks source link

Displaying alectryon comments as lines in Emacs #85

Open bhargavkulk opened 2 years ago

bhargavkulk commented 2 years ago

In one of the alectryon demos, there was a screenshot of Emacs, where the (*| were replaced with horizontal lines. This seems nifty to have, not just for Coq, so I wanted to ask how you did it.

cpitclaudel commented 1 year ago

Hmm, sorry I never replied to this! It's alectryon-mode, which is in this repository and available from MELPA.