[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [O] colorize html output when batch exporting
From: |
Alan Schmitt |
Subject: |
Re: [O] colorize html output when batch exporting |
Date: |
Wed, 15 Jan 2014 16:24:57 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.3 (darwin) |
Hi Rick,
Rick Frankel <address@hidden> 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