I see lens to be useful for the eev mode, too.
Roland.
Dmitrii Korobeinikov writes:
>> Have you looked at Phil Lord's lentic package? I think it implements a
>> lot of what you're talking about.
>
>> https://github.com/phillord/lentic
>
> This is nice to see!
> Indeed, except for embedding, the
Hi,
I have a latex-fragment like so
#+LATEX_HEADER: \usepackage{bussproofs}
#+OPTIONS: tex:dvipng
\begin{prooftree}
\AxiomC{}
\LeftLabel{(fn)}
\UnaryInfC{$\text{Env}\vdash C(\text{Env}', \text{fn } x \ \Rightarrow\
E_1)\ v \ \to\ \text{Env},\text{Env}',(x,v)\vdash E_1$}
\end{prooftree}
when
Hello,
As discussed previously,
https://lists.gnu.org/r/emacs-orgmode/2018-11/msg00038.html
here is a patch to make the list of commands in the org-attach
dispatcher customizable.
Eric
From 868d2f26a7f4a3ad6d70477193f2abed2d245970 Mon Sep 17 00:00:00 2001
From: Eric Danan
Date: Fri, 26 Apr
Ihor,
On Sat, Apr 20, 2019 at 12:56 AM Ihor Radchenko wrote:
> > For example, how would one create a custom agenda view that
> >
> > - shows all accomplished tasks within the DEADLINE last week
> > - shows all accomplished tasks that missed the DEADLINE last week
> >
> > Then does the same for t
