Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Displaying alectryon comments as lines in Emacs #85

Open
wags-1314 opened this issue Aug 9, 2022 · 1 comment
Open

Displaying alectryon comments as lines in Emacs #85

wags-1314 opened this issue Aug 9, 2022 · 1 comment

Comments

@wags-1314
Copy link

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
Copy link
Owner

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@cpitclaudel @wags-1314