Massimo Lauria

Open property drawer by default

2

Once the user chooses 'Show entry' action, most of the information is in the :PROPERTIES: drawer which is folded. In order to unfold it the user needs to go on...

Relative links for images in RSS output

4

Hi, I have an issue generating a proper RSS. I am using org-mode version 9.2.6 and org-static-blog 1.3.0 and my configuration includes ```elisp (setq org-static-blog-publish-url "https://example.com/subfolder/") (setq org-static-blog-publish-directory "~/blog/")) ```...

This connects to pull request #83 issues #71 (from Jakob Nordstrom) Here comes a feature request for variants of dense linear order formulas. If anyone of you feels this is...

During a workshop in Toronto: Theoretical Foundation of SAT Solving 2016, Moshe Vardi suggested to implement some scalable benchmarks from See http://www.cs.rice.edu/~vardi/papers/sat04rj.pdf