Hi Rick, Rick Frankel <r...@rickster.com> writes:
> Yes, it should. Something is not right with your output. I'm not > familiar with coq, and i don't have coq-mode.el, but from the above it > looks like a BNF grammar. Are you sure coq-mode was loaded when you > did the export? This was the problem! I added the code to load the mode, and all is well now. Thanks a lot for your help, Alan
