[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Output to directory patch
From: |
Mosè Giordano |
Subject: |
Re: Output to directory patch |
Date: |
Sun, 14 Feb 2021 23:58:17 +0000 |
Hi all,
for the record I tried to work on this back in 2013:
https://github.com/giordano/auctex/commit/9c0eb5d4f2f82f4ff22683ef218727b6a45ae54d
(I believe this was based on a previous attempt by Ralf Angeli, but I
can't find a reference for this). I'm pretty sure I didn't push this
forward because I faced some fundamental challenges that would have
made the functionality only half-baked. Probably Keita identified
some of those issues.
Bye,
Mosè
- Re: Output to directory patch, (continued)
- Re: Output to directory patch, Ikumi Keita, 2021/02/04
- Re: Output to directory patch, Al Haji-Ali, 2021/02/04
- Re: Output to directory patch, Ikumi Keita, 2021/02/04
- Re: Output to directory patch, Al Haji-Ali, 2021/02/04
- Re: Output to directory patch, Ikumi Keita, 2021/02/05
- Re: Output to directory patch, Al Haji-Ali, 2021/02/05
- Re: Output to directory patch, Uwe Brauer, 2021/02/05
- Re: Output to directory patch, Al Haji-Ali, 2021/02/05
- Re: Output to directory patch, Ikumi Keita, 2021/02/07
- Re: Output to directory patch, Al Haji-Ali, 2021/02/14
- Re: Output to directory patch,
Mosè Giordano <=
- Re: Output to directory patch, Uwe Brauer, 2021/02/15
- Re: Output to directory patch, Al Haji-Ali, 2021/02/15
- Re: Output to directory patch, Ikumi Keita, 2021/02/15
- Re: Output to directory patch, Uwe Brauer, 2021/02/15
- Re: Output to directory patch, Ikumi Keita, 2021/02/22
- Re: Output to directory patch, Al Haji-Ali, 2021/02/22
- Re: Output to directory patch, Ikumi Keita, 2021/02/23
- Re: Output to directory patch, Uwe Brauer, 2021/02/23
- Re: Output to directory patch, Ikumi Keita, 2021/02/23
- Re: Output to directory patch, Al Haji-Ali, 2021/02/23