[O] Time clocked is displayed weirdly in modeline

2012-11-19 Thread Sebastien Vauban
Hello,

Over the last couple of days, a change made has the effect of displaying
something like:

  [0.33/1.00] (Read email and news)

in the modeline, instead of:

  [0:33/1:00] (Read email and news)

Best regards,
  Seb

Org-mode version 7.9.2 (release_7.9.2-620-gb77296 @ 
d:/home/sva/src/org-mode/lisp/)

-- 
Sebastien Vauban




Re: [O] Bug: Generation of pdf when using OPTIONS: H: faulty [7.9.2 (release_7.9.2-588-g8fb2cb @ /home/rkrug/.emacs.d/org-mode/lisp/)]

2012-11-19 Thread Rainer M Krug
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1

On 16/11/12 21:12, Achim Gratz wrote:
 Nicolas Goaziou writes:
 What happens if you remove src-blocks? It could be a bug with lstlistings 
 environments.
 
 I'm not familiar with lstlistings in particular, but like all verbatim 
 environments it is prone
 to breakage.  In this particular case it seems that a \paragraph can't start 
 with a lstlisting
 environment, there must be some actual text (a ~ is enough).

OK - thanks a lot - working now,. Easy enough to use.

Just one final question: How can I specify from org, that the numbering should 
go up to level 4 as
well? I would like to have

1.2.3.4 The Heading


Or Do I have to do this via LaTeX?

Thanks,

Rainer

 
 
 Regards, Achim.
 

-BEGIN PGP SIGNATURE-
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://www.enigmail.net/

iEYEARECAAYFAlCqAh0ACgkQoYgNqgF2egrCvwCdFric7R3x0HnURPTjugnaCeGy
iwUAn0pg5MURXoEzoyzFEcnuspweX8xT
=zOR4
-END PGP SIGNATURE-



Re: [O] How to force markup without spaces

2012-11-19 Thread Seong-Kook Shin
Yes, thank for the solution.

By the way, I'll prefer word joiner character (U+2060) to zero width
space character (U+200B),
because postpositions (grammar) should not be separated on line-break
policy.

Anyway, is there any plan to implement this feature in other way?
Using the solution that you provides makes the org document stick to the
unicode,
so it can't be used in other character encodings.

Thanks.

On Mon, Nov 19, 2012 at 4:11 PM, Vladimir Lomov lomov...@gmail.com wrote:

 Hello,
 ** cin...@gmail.com [2012-11-19 14:32:21 +0900]:

  Hi,

  AFAIK, if the markup syntax (=code=, *bold*, ..) is directly followed
  by non-whitespace characters, then it will not be marked-up:

 =hello=there
 /not/italic

  This may be right decision on English text, but in some languages, the
  postposition (grammar) will be postfixed without spaces into the
  previous noun, so it will be the trouble.  (Following text contains
  Korean characters in UTF-8, you may need additional korean font to
  read properly)

 =printf=는
 =bold=로
 =철수=는

  I'm sure that some other languages will have same problem
  (e.g. Japanese or Chinese).

  Is there any way to force mark-up on this situation?

  If this pattern cannot be implemented easily, how about to introduce
  new escaping character to prevent to insert whitespace between
  marked-up text and the following postfix text?  For example:

=printf=\is  = rendered in HTML: codeprintf/codeis
*bold*\asdf  = rendered in HTML: bbold/basdf
/철수/\는= rendered in HTML: i철수/i는

  I can't say the above solution is well-designed, but I'm sure that
  you'll get the point.

 May be this will help you:
 http://article.gmane.org/gmane.emacs.orgmode/46263/match=zero+width+space

 --
 Had he and I but met
 By some old ancient inn,But ranged as infantry,
 We should have sat us down to wet   And staring face to face,
 Right many a nipperkin! I shot at him as he at me,
 And killed him in his place.
 I shot him dead because --
 Because he was my foe,  He thought he'd 'list, perhaps,
 Just so: my foe of course he was;   Off-hand-like -- just as I --
 That's clear enough; although   Was out of work -- had sold his
 traps
 No other reason why.
 Yes; quaint and curious war is!
 You shoot a fellow down
 You'd treat, if met where any bar is
 Or help to half-a-crown.
 -- Thomas Hardy




-- 
C FAQs: http://c-faq.com/
Korean: http://www.cinsk.org/cfaqs/


[O] Time clocked is displayed in fractional form [0.95/1.00]

2012-11-19 Thread Sebastien Vauban
Hello,

Sebastien Vauban wrote:
 Over the last couple of days, a change made has the effect of displaying
 something like:

   [0.33/1.00] (Read email and news)

 in the modeline, instead of:

   [0:33/1:00] (Read email and news)

To add comments, it's not a colon vs dot problem: the displayed time is
shown as a fraction, like [0.965/1.00].

Best regards,
Seb

-- 
Sebastien Vauban




Re: [O] sum up variables from different org-mode tables

2012-11-19 Thread Martin Gross
Dear Michael,

thank you very much, this is what I was looking for.  I myself
supposed the answer should be related to remote references, but was
not sure how to use them.

Just one point is not yet optimum to me: I do not have just 2 tables,
but hundreds.  It would be hard and not very clean to add them all one
by one.  Do you know if it there is a better way to reference remote
tables?  For example telling org-mode to search data from all tables
but this one?

Best regards,

Martin



Re: [O] Bug: Generation of pdf when using OPTIONS: H: faulty [7.9.2 (release_7.9.2-588-g8fb2cb @ /home/rkrug/.emacs.d/org-mode/lisp/)]

2012-11-19 Thread Sebastien Vauban
Hello Rainer,

Rainer M Krug wrote:
 Just one final question: How can I specify from org, that the numbering 
 should go up to level 4 as
 well? I would like to have

 1.2.3.4 The Heading

 Or Do I have to do this via LaTeX?

Use the option H:4.

Best regards,
  Seb

-- 
Sebastien Vauban




Re: [O] Bug: Generation of pdf when using OPTIONS: H: faulty [7.9.2 (release_7.9.2-588-g8fb2cb @ /home/rkrug/.emacs.d/org-mode/lisp/)]

2012-11-19 Thread Rainer M Krug
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1

On 19/11/12 12:55, Sebastien Vauban wrote:
 Hello Rainer,
 
 Rainer M Krug wrote:
 Just one final question: How can I specify from org, that the numbering 
 should go up to level
 4 as well? I would like to have
 
 1.2.3.4 The Heading
 
 Or Do I have to do this via LaTeX?
 
 Use the option H:4.

I did - the headers get formated as paragraph, so they become part of the 
outline and headers,
but they are not numbered.

Rainer

 
 Best regards, Seb
 

-BEGIN PGP SIGNATURE-
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://www.enigmail.net/

iEYEARECAAYFAlCqK3kACgkQoYgNqgF2egoETQCeL8be7IQiPUnBO1iAn7dZqIwZ
A94An1e1fc6LFBpNFfKMQNb9V5PYiAfY
=q0si
-END PGP SIGNATURE-




Re: [O] [org-e-latex] Coding System

2012-11-19 Thread Suvayu Ali
On Mon, Nov 19, 2012 at 07:28:30AM +, Achim Gratz wrote:
 When the new exporter produces a TeX file that contains unicode characters,
 Emacs tries to save this file with coding systems `undecided-unix´ and
 `iso-latin1-unix´, both of which don't work of course (and the latter would
 likely be wrong for some characters).  While it should be possible to change 
 the
 default coding systems to use, it would certainly be better if the exporter 
 took
 note of the
 
 \usepackage[utf8]{inputenc}
 
 and alter the coding system for saving the TeX file accordingly.
 

This is not an answer to the issue above; but if you are using utf-8,
should you not already be having something like this in your init file?

  (prefer-coding-system 'utf-8)

This should circumvent the problem.

Cheers,

-- 
Suvayu

Open source is the future. It sets us free.



Re: [O] sum up variables from different org-mode tables

2012-11-19 Thread Michael Brand
Hi Martin

On Mon, Nov 19, 2012 at 12:54 PM, Martin Gross m-gr...@gmx.net wrote:
 Just one point is not yet optimum to me: I do not have just 2 tables,
 but hundreds.  It would be hard and not very clean to add them all one
 by one.  Do you know if it there is a better way to reference remote
 tables?  For example telling org-mode to search data from all tables
 but this one?

I don’t know a way to tell Org “all other tables in this file”.

And this:

On Fri, Nov 16, 2012 at 4:16 PM, Michael Brand
michael.ch.br...@gmail.com wrote:
A nice solution for variant 2 would be if
@2$3..@2$7 = remote(A, @$$#) :: @3$3..@3$7 = remote(B, @$$#)
could be simplified to
@I$3..@II$7 = remote($8, @$$#)

is only a partial solution for you because - although moved from the
formula to the result table - the table enumeration is still
necessary.

But if it’s just summing up disjoint sets hierarchically you might
consider column view with “7.5.1.2 Column attributes” from the manual
to show the sums for each heading, like:

#+COLUMNS: %20ITEM %6In_num{+;%6d} %6In_EUR{+;%6.2f} %6Out_num{+;%6d}
%6Out_EUR{+;%6.2f}
* total
** Institution A
*** In
 Title P
 :PROPERTIES:
 :In_num:   1
 :In_EUR:   45
 :END:
*** Out
 Title A
 :PROPERTIES:
 :Out_num:   1
 :Out_EUR:   15
 :END:
 Title B
 :PROPERTIES:
 :Out_num:   2
 :Out_EUR:   28
 :END:
** Institution B
*** In
 Title Q
 :PROPERTIES:
 :In_num:   1
 :In_EUR:   24
 :END:
*** Out
 Title C
 :PROPERTIES:
 :Out_num:   2
 :Out_EUR:   31
 :END:

Unfortunately formatting takes place only for calculations and not for
the raw source values which for me is at least a missing feature.

Michael



Re: [O] subtree-export limitations

2012-11-19 Thread Alan Schmitt
Nicolas Goaziou n.goaz...@gmail.com writes:

 Nicolas Goaziou n.goaz...@gmail.com writes:

 It might support Property+ syntax, but it looks like this is
 Babel-specific (no sign of such syntax in org.el, where property API is
 defined). I will look into it (unless you want to do it).

 Well, scratch that: it already support :property+: syntax. I.e. try to
 export subtree with:

 * Test export
   :PROPERTIES:
   :export_latex_header: header1
   :export_latex_header+: header2
   :END:

   Test

This is quite useful. Thanks for the information!

Alan



Re: [O] Question re. Bernt's agenda setup

2012-11-19 Thread Alan Schmitt
Manish mailtomanish.sha...@gmail.com writes:

 On Sat, Nov 17, 2012 at 6:25 PM, Manish wrote:
 [snip (21 lines)]

 =F12 SPC= with =V= is so much better at doing project reviews than
 anything else I have ever seen.  My only gripe is that functions called
 by =V= and =P= do not refresh the agenda.  I am trying to understand
 enough elisp to be able to call org-agenda-redo and beginning-of-buffer
 in some right places..

 My bad.  While making the same setup from scratch in home laptop found
 that everything works as advertised.  My work setup must have something
 interfering with it.

I'd be really curious to know what it is. I'm in the same situation here
where the agenda is not refreshed when doing a P or V from within it.
(Doing a W works, though).

Alan



Re: [O] How to force markup without spaces

2012-11-19 Thread Suvayu Ali
On Mon, Nov 19, 2012 at 07:06:10PM +0900, Seong-Kook Shin wrote:
 
 Anyway, is there any plan to implement this feature in other way?
 Using the solution that you provides makes the org document stick to the
 unicode,
 so it can't be used in other character encodings.
 

AFAIK, this will not be included;

  http://thread.gmane.org/gmane.emacs.orgmode/59881/focus=59971


-- 
Suvayu

Open source is the future. It sets us free.



Re: [O] [org-e-latex] Coding System

2012-11-19 Thread Achim Gratz
Suvayu Ali writes:
 On Mon, Nov 19, 2012 at 07:28:30AM +, Achim Gratz wrote:
 This is not an answer to the issue above; but if you are using utf-8,
 should you not already be having something like this in your init file?

   (prefer-coding-system 'utf-8)

 This should circumvent the problem.

That's what I was saying, however I may not prefer the UTF-8 encoding
generally for other reasons.  The exporter however should save the TeX
file with utf-8 coding regardless of any user preference because
otherwise TeX doesn't get the input encoding it's been told to expect.


Regards,
Achim.
-- 
+[Q+ Matrix-12 WAVE#46+305 Neuron microQkb Andromeda XTk Blofeld]+

SD adaptations for KORG EX-800 and Poly-800MkII V0.9:
http://Synth.Stromeko.net/Downloads.html#KorgSDada




Re: [O] Bug: Generation of pdf when using OPTIONS: H: faulty [7.9.2 (release_7.9.2-588-g8fb2cb @ /home/rkrug/.emacs.d/org-mode/lisp/)]

2012-11-19 Thread Achim Gratz
Rainer M Krug writes:
 Use the option H:4.

 I did - the headers get formated as paragraph, so they become part of the 
 outline and headers,
 but they are not numbered.

Check the style file from LaTeX, you may need to set \secnumdepth
accordingly (or customize another parameter) to actually get numbered
paragraphs.  Once you know what you need, just add this to the
preamble/header definition from Org.


Reagrds,
Achim.
-- 
+[Q+ Matrix-12 WAVE#46+305 Neuron microQkb Andromeda XTk Blofeld]+

SD adaptations for KORG EX-800 and Poly-800MkII V0.9:
http://Synth.Stromeko.net/Downloads.html#KorgSDada




Re: [O] [org-e-latex] Coding System

2012-11-19 Thread Achim Gratz

I looked at the code/documentation and it seems the intention is to do
the reverse lookup, that is look at the buffer encoding and decide what
to give inputenc as argument (when it is specified as AUTO in the
header template).  I maintain that the other way around (looking at the
header template and deciding the coding system) is probably easier to
understand and it is also what's already been used by Emacs: see
latexenc-find-file-coding-system and latex-inputenc-coding-alist.



Regards,
Achim.
-- 
+[Q+ Matrix-12 WAVE#46+305 Neuron microQkb Andromeda XTk Blofeld]+

DIY Stuff:
http://Synth.Stromeko.net/DIY.html




Re: [O] Question re. Bernt's agenda setup

2012-11-19 Thread Manish
On Mon, Nov 19, 2012 at 7:34 PM, Alan Schmitt wrote:
 Manish writes:

 On Sat, Nov 17, 2012 at 6:25 PM, Manish wrote:
 [snip (21 lines)]

 =F12 SPC= with =V= is so much better at doing project reviews than
 anything else I have ever seen.  My only gripe is that functions called
 by =V= and =P= do not refresh the agenda.  I am trying to understand
 enough elisp to be able to call org-agenda-redo and beginning-of-buffer
 in some right places..

 My bad.  While making the same setup from scratch in home laptop found
 that everything works as advertised.  My work setup must have something
 interfering with it.

 I'd be really curious to know what it is. I'm in the same situation here
 where the agenda is not refreshed when doing a P or V from within it.
 (Doing a W works, though).

Strangely, it refreshes fine on Ubuntu but not on Windows (both with no
code other than Bernt's).  I am using Emacs 24.2 and git head from
master branch.

My half-baked attempts to add some bits to relevant functions to call
org-agenda-redo followed by beginning-of-buffer did not work.  I am now
looking to using AutoHotKey as a duct tape solution.

Cheers!
--Manish



[O] Bug in publishing to LaTeX

2012-11-19 Thread Harri Kiiskinen
Hi,

it seems that there is a bug in publishing to LaTeX:

org-publish-org-to calls org-export-as -functions with six arguments:

(funcall (intern (concat org-export-as- format))
   (plist-get plist :headline-levels)
   nil plist nil
   (plist-get plist :body-only)
   pub-dir)

but org-export-as-latex accepts only five:

(org-export-as-latex ARG optional EXT-PLIST TO-BUFFER BODY-ONLY
PUB-DIR)

as compared to org-export-as-html, for example, which takes six:

(org-export-as-html ARG optional HIDDEN EXT-PLIST TO-BUFFER BODY-ONLY
PUB-DIR)

This in: Org-mode version 7.9.2 (release_7.9.2-603-gf8a69a @ 
/usr/local/share/emacs/site-lisp/org/)

I do not know the export code so well as to suggest a patch of my own.

All the best,

Harri Kiiskinen




Re: [O] sum up variables from different org-mode tables

2012-11-19 Thread Eric Schulte
Martin Gross m-gr...@gmx.net writes:

 Dear Michael,

 thank you very much, this is what I was looking for.  I myself
 supposed the answer should be related to remote references, but was
 not sure how to use them.

 Just one point is not yet optimum to me: I do not have just 2 tables,
 but hundreds.  It would be hard and not very clean to add them all one
 by one.  Do you know if it there is a better way to reference remote
 tables?

Not a pure Org-mode solution, but something like the attached could be
used to sum up a particular column from every table in a file.  Not
flexible but possibly sufficient.

#+Title: Example 

* one table
| 1 |  2 |
| 2 |  4 |
| 3 |  6 |
| 4 |  8 |
| 5 | 10 |

* another table
| 20 | 20 |

* and one more
| 0 | 1 |
| 0 | 1 |

* here we sum them up
#+begin_src sh :results scalar :var file=(buffer-file-name) :var col=1
  cat $file|grep ^||sed 's/|//g'|awk '{ sum += $1} END{ print sum }'
#+end_src

#+RESULTS:
: 35

 For example telling org-mode to search data from all tables but this
 one?


With a little more work and one more sed command this could stop
processing the file at a particular line or keyword.

Hope this helps,


 Best regards,

 Martin


-- 
Eric Schulte
http://cs.unm.edu/~eschulte


Re: [O] Issue when jumping from agenda view to clock line

2012-11-19 Thread Sebastien Vauban
Hello Francesco,

Francesco Pizzolante wrote:
 Here's a small example.

 #+begin_src org
 * My tasks

 ** First task
:LOGBOOK:
CLOCK: [2012-10-22 Mon 13:00]--[2012-10-22 Mon 14:30] =  1:00
CLOCK: [2012-10-23 Tue 13:00]--[2012-10-23 Tue 14:30] =  1:00
CLOCK: [2012-10-24 Wed 13:00]--[2012-10-24 Wed 14:30] =  1:00
:END:
 #+end_src

 In the agenda view (C-c a a) for Wed 24, enable the check view (v c), then
 press ENTER on the log line for First task, you jump to the corresponding
 heading (First task) but it positions the cursor just after the :LOGBOOK:
 keyword and the drawer remains closed.

 Just to let you know that I found the issue...

 It was coming from the following code I was using (taken from Worg:
 http://orgmode.org/worg/org-configs/org-hooks.html):

 ╭
 │   ;; get a compact view during follow mode in the agenda
 │ (defun my-compact-follow ()
 │   Make the view compact, then show the necessary minimum.
 │   (ignore-errors
 │ (save-excursion
 │   (while (org-up-heading-safe))
 │   (hide-subtree)))
 │   (let ((org-show-siblings nil)
 │ (org-show-hierarchy-above t))
 │ (org-reveal))
 │   (save-excursion
 │ (org-back-to-heading t)
 │ (show-children)))
 │
 │(add-hook 'org-agenda-after-show-hook 'my-compact-follow)
 ╰

 But I don't understand the cause of it.

As I ran against the same problem, I've bisected Org in order to try and get
more info.

Git bisect identifies 1e73d2bbc3ce635928ddd234d16ac9332460aa72 as the first bad 
commit

--8---cut here---start-8---
commit 1e73d2bbc3ce635928ddd234d16ac9332460aa72
Author: Bastien Guerry b...@altern.org
Date:   Fri Aug 10 10:08:58 2012 +0200

org-agenda.el (org-agenda-switch-to): Run hooks in 
`org-agenda-after-show-hook'

* org-agenda.el (org-agenda-switch-to): Run hooks in
`org-agenda-after-show-hook'.

Thanks to Jack Erwin for suggesting this.
--8---cut here---end---8---

The diff:

--8---cut here---start-8---
diff --git a/lisp/org-agenda.el b/lisp/org-agenda.el
index a70e968..09e5eab 100644
--- a/lisp/org-agenda.el
+++ b/lisp/org-agenda.el
@@ -7512,7 +7512,8 @@ at the text of the entry itself.
  (and (outline-next-heading)
   (org-flag-heading nil))) ; show the next heading
(when (outline-invisible-p)
- (show-entry)) ; display invisible text
+ (show-entry)) ; display invisible text
+   (run-hooks 'org-agenda-after-show-hook)

 (defun org-agenda-goto-mouse (ev)
   Go to the Org-mode file which contains the item at the mouse click.
--8---cut here---end---8---

`org-agenda-after-show-hook' is well referenced in there. That's clearly it!

Now, it'd be interesting to know whether:

- it should be removed?  or

- the customization (found on Worg) should be place in another hook (not run
  at that stage)?

Bastien?

Best regards,
Seb

-- 
Sebastien Vauban




Re: [O] C# and org-mode

2012-11-19 Thread Luis Anaya
Eric Schulte schulte.e...@gmail.com writes:

 Fabrice Popineau fabrice.popin...@gmail.com writes:

Full disclosure:

I have to code C# at work for Sharepoint development. (yes, I know... )


 Given that there is this C# mode :

 http://www.emacswiki.org/emacs/csharp-mode.el
 is there a way to plug it in org-mode so that

 C# becomes part of the languages available for src blocks?

[chomp...]

 take a look at tweaking lisp/ob-C.el file in Org-mode to add C# support
 following the same model used to add C++ support in that file.
[chomp...]
 For more sophisticated interaction with C#-mode you may want to
 implement a dedicated ob-csharp.el from this template.


You may also want to take a look at flymake.el 
(http://flymake.sourceforge.net) for ideas on integration being that it
was developed for C#. If you want to use it as a src block, get the
ideas from flymake.el to incorporate them with a potential
ob-csharp.el. 

Caveat Emptor.

Using flymake.el and org.el *will* break C-' in org mode if you have flymake
attached to a given programming mode hook. I only mention flymake.el 
because it has a fair integration with csc/msc and you may want to get ideas on 
how to
implement some of these in ob-csharp, especially error handling from csc/msc 
compiler.

I use flymake.el at work being that I do not use C# in src blocks. 

csharp-mode.el tends to be temperamental with the version of cc mode. If
csharp-mode.el starts acting funny, cc mode is the problem. Make sure
that you have the latest and greatest in your environment. 


-- 
Luis Anaya
papo anaya aroba hot mail punto com
Do not use 100 words if you can say it in 10 - Yamamoto Tsunetomo



Re: [O] Extending org-koma-letter.el

2012-11-19 Thread Luis Anaya
Alan Schmitt alan.schm...@polytechnique.org writes:

 Nicolas Goaziou n.goaz...@gmail.com writes:

 Anyway, for the record, I'm posting an updated version[1] of the file,
 compatible with latest Org (master branch). It may solve your problem.


 Alan

Hi:

Let me know how the back end is working for you. Bastien asked to work
on koma but things have been delayed thanks to work, hurricanes, raccoons,
looters, blackouts and now turkey. :) 


Luis


-- 
Luis Anaya
papo anaya aroba hot mail punto com
Do not use 100 words if you can say it in 10 - Yamamoto Tsunetomo



Re: [O] Yes, I'm still alive

2012-11-19 Thread Luis Anaya
Aidan Gauland aidal...@no8wireless.co.nz writes:

 John Hendy jw.he...@gmail.com writes:
 Thanks for sharing and you have my condolences. As others might say
as

[chomp...]


 Ditto.  Don't worry about us; worry about yourself and your sanity.
 (That, of course, doesn't mean not to hack on Org if you're itching
 to.)

:)

Thanks!

Things have been coming back to normal after all that time, but there
are crews from other states working on lines. 

Personally, we did fine compared to the folks at the shore, parts of
New York and Long Island. If you watched the news, those were the areas
that were presented being that had the biggest impact from the storm. 
Luckily, we live far from the ocean, but near a river, which was a 
concern for  evacuation. But most of the damage in our neighborhood 
came from down trees due to winds, but no disastrous damage in our area. 

In our home we had a couple of branches that were used as kindle for 
the wood stove, our biggest problem during that time was the lack of
power. Being that those night went down to the 30's (0-1C) we had to
keep the wood stove going during the outage that lasted three days.  

That was tiring...

But, back to normal. :)

-- 
Luis Anaya
papo anaya aroba hot mail punto com
Do not use 100 words if you can say it in 10 - Yamamoto Tsunetomo



Re: [O] Literate programming of interactive proofs?

2012-11-19 Thread Alan Schmitt
Eric Schulte schulte.e...@gmail.com writes:

 If you do end up writing any level of support for Coq code blocks please
 consider contributing it to Org-mode.

Thanks a lot for these suggestions. I'll explore these options, and will
report back when I get something working.

Alan