Re: [O] Literate programming of interactive proofs?

2012-11-19 Thread Alan Schmitt
Eric Schulte 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

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

2012-11-19 Thread Luis Anaya
Aidan Gauland writes: > John Hendy 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! Th

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

2012-11-19 Thread Luis Anaya
Alan Schmitt writes: > Nicolas Goaziou 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 bu

Re: [O] C# and org-mode

2012-11-19 Thread Luis Anaya
Eric Schulte writes: > Fabrice Popineau 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 par

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: [

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

2012-11-19 Thread Eric Schulte
Martin Gross 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

[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

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 >>> b

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

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 actual

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 prob

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

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

2012-11-19 Thread Alan Schmitt
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 unde

Re: [O] subtree-export limitations

2012-11-19 Thread Alan Schmitt
Nicolas Goaziou writes: > Nicolas Goaziou 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

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 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 ex

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

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 >>

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] 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

[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

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 y

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 i

[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-mod