Re: [O] Leslie Lamport has a foot in the 21st century

2016-10-11 Thread Hubert Chathi
On Sun, 09 Oct 2016 18:32:55 +0200, Marcin Borkowski said: > On 2016-10-09, at 16:26, Hubert Chathi wrote: >> It's not a matter of compiling to the right file format, but rather >> whether LaTeX is the right tool for the type of document structure >> that Lamport is proposing. His system requi

Re: [O] Leslie Lamport has a foot in the 21st century

2016-10-11 Thread Clément Pit--Claudel
On 2016-10-11 10:56, Hubert Chathi wrote: > I suspect that it will be a long time before hierarchical proofs gain > much popularity though, given that Lamport has been talking about them > since at least the 90's, and I haven't seen one "in the wild" yet. Depends how much you're willing to stretch

Re: [O] Problem with python session

2016-10-11 Thread Nicolas Goaziou
Hello, John Kitchin writes: > I am not sure it makes sense to change anything for this. Noted. Thank you for the feedback. Regards, -- Nicolas Goaziou

Re: [O] Bug: make test fails, no org-batch-test-init (8.3.5 tar.gz)

2016-10-11 Thread Nicolas Goaziou
Hello, Rich Clark writes: > TMPDIR=/tmp/tmp-orgtest emacs -Q -batch --eval '(setq vc-handled-backends > nil org-startup-folded nil)' --eval '(add-to-list '"'"'load-path (concat > default-directory "lisp"))' --eval '(add-to-list '"'"'load-path (concat > default-directory "testing"))' -l org-ba

Re: [O] Use headings in sitemap

2016-10-11 Thread Nicolas Goaziou
Hello, Thibault Marin writes: > I would like to generate a sitemap for a published website and use it to > extract > the last few entries in a specific folder to put on the main page. > > The site structure looks like: > . > ├── index.org > ├── posts > │ ├── A.org > │ ├── B.org > │ └── C.

Re: [O] ODT export

2016-10-11 Thread Eduardo Mercovich
Hi Philip. >> First time out, very disappointing and confusing results. >> Having created a styled example.odt file as per instructions in the manual... >> [...] >> (info "(org) Applying custom styles") > Sanity check: anyone able to confirm they've done this successfully? I did it, but a looong

[O] trying to automatically refresh inline images after org-babel-execute:ditaa

2016-10-11 Thread Stig Brautaset
Hello! I'm trying to automatically update inline ditaa images, by adding this advice: , | (advice-add 'org-babel-execute:ditaa | :after | (lambda (a &rest b) | (message "my sage advice") | (org-redisplay-inline-images))) ` Whe

Re: [O] trying to automatically refresh inline images after org-babel-execute:ditaa

2016-10-11 Thread Grant Rettke
On Tue, Oct 11, 2016 at 12:01 PM, Stig Brautaset wrote: > Hello! > > I'm trying to automatically update inline ditaa images, by adding this > advice: > > , > | (advice-add 'org-babel-execute:ditaa > | :after > | (lambda (a &rest b) > | (message "my

Re: [O] Export tangle filename with source block

2016-10-11 Thread Nicolas Goaziou
Hello, Thibault Marin writes: > *Question 1*: Is the `org-element-src-block-parser' function supposed to > resolve > the tangle filename (including inheritance, i.e. to handle the 3 :tangle > sources listed above)? No, it isn't. > From the docstring, it would appear that it shouldn't return

Re: [O] PDF font

2016-10-11 Thread Eduardo Mercovich
Hi Philip. [...] >>> What *do* you need exactly? >> Cantarell for the sans-serif, FreeSerif for the serif, don't care >> about the mono. > Oh yes, and #cc for the title background. HTML is easier to style, yes. Does that format, exported to pdf, has what you need? Because latex may take mor

Re: [O] Best diagram, image software?

2016-10-11 Thread Eduardo Mercovich
Hi everyone. >> [...] What is the best way to make diagrams and >> images? [...] > Depends, what kind of images you are talking about. [...] Agreed 200%. Detail: if your result is vector like (not like a photo, but more like a graph), you can export to pdf and include the pdf as it is. It work

[O] exporting latex to html

2016-10-11 Thread Jeremie Juste
Hello, How is it possibile to modify the image attributes when exporting latex to html? For instance if I have a table in the following org-buffer. Doing org-mime-org-buffer-htmlize convert the table into an image and put put it in latex as a picture. I would like to control the size and qualit

[O] org-link interface

2016-10-11 Thread Daniele Nicolodi
Hello, I would like to add a new link type to org-mode. Following the example in the manual it is a very easy task. However I would like to customize how the link is visualized, specifically I would like a link like "[[foo:bar]]" to be visualized simply as "bar" where the protocol type has been

[O] One org file to multiple pages static website.

2016-10-11 Thread Pierre-Henry Frohring
Hi! Here is some code to go from one org-file to a multiple pages static website, one heading -> one post. Since I did not find anything like it, did it myself, think maybe others may find this helpful. https://github.com/phfrohring/org-to-blog Cheers!

Re: [O] One org file to multiple pages static website.

2016-10-11 Thread Kaushal Modi
Thanks for sharing this. I have bookmarked something similar for the Hugo SSG: http://www.holgerschurig.de/en/emacs-blog-from-org-to-hugo/ On Tue, Oct 11, 2016 at 7:04 PM Pierre-Henry Frohring < frohring.pierrehe...@gmail.com> wrote: > Hi! > > Here is some code to go from one org-file to a multi

[O] member-ignore-case: Wrong type argument: stringp, nil

2016-10-11 Thread Vikas Rawal
I get this message when trying to export an org file (with embedded source code blocks) to latex: member-ignore-case: Wrong type argument: stringp, nil How do I go about figuring out what exactly is going wrong? I have tried to isolate the problem by removing stuff from the file, to see when d

Re: [O] member-ignore-case: Wrong type argument: stringp, nil

2016-10-11 Thread Vikas Rawal
> On 12-Oct-2016, at 9:10 am, Vikas Rawal > wrote: > > Wrong type argument: stringp, nil Debug gives me this: Debugger entered--Lisp error: (wrong-type-argument stringp nil) compare-strings(nil 0 nil "CAPTION" 0 nil t) member-ignore-case(nil ("CAPTION")) #[0 "\212\214~\210`\300\206 \3

Re: [O] Export tangle filename with source block

2016-10-11 Thread Thibault Marin
Thanks for your reply, it is very helpful. Nicolas Goaziou writes: > They are not. You may want to see how cache is used with info in, e.g., > `org-export-get-footnote-definition'. That looks like what I was trying to achieve (except better), thanks. > The buffer used during export is unlikely t

Re: [O] Use headings in sitemap

2016-10-11 Thread Thibault Marin
Nicolas Goaziou writes: > This reminds me of a patch Rasmus (Cc'ed) is working on (thread starting > at: ). I missed that for some reason, it is better and more ambitious. > I suggest to let :sitemap-function operate on the lists of files > i