Are there any issues that you believe must be resolved before beta1 is released?
The only issue I see is the dashes issue, which is being discussed and voted on
at [1].
I would like to set a date for beta1 soon so please let me know as soon as
possible if you view any issues as beta-blockers.
Sc
I usually do the following for running the ctests:
ctest -j$( nproc )
ctest --rerun-failed
This has behaved robustly for a while. However, I've recently gained access to a
server where I could run 64 jobs simultaneously, and now the above approach
shows problems, compared to results from
On 2017-08-04, Christian Ridderström wrote:
Hej Christian,
> Q1: Can postscript (PS) code be embedded in a LyX document in such a way
> such that it's parsed when doing a preview, or exporting a document?
Not usually.
> Q2: Can PS code only be included by embedding a graphics inset referencing
On 08/05/2017 10:49 AM, mn wrote:
On 05.08.17 16:26, Paul A. Rubin wrote:
FWIW, I subscribe through GMail, using a filter to put the dev and user
lists in separated virtual folders, but access my GMail account in
Thunderbird (IMAP). The messages are individual. I don't know if there's
a way to
On 08/05/2017 10:49 AM, mn wrote:
On 05.08.17 16:26, Paul A. Rubin wrote:
FWIW, I subscribe through GMail, using a filter to put the dev and user
lists in separated virtual folders, but access my GMail account in
Thunderbird (IMAP). The messages are individual. I don't know if there's
a way to
On 05.08.17 16:26, Paul A. Rubin wrote:
> FWIW, I subscribe through GMail, using a filter to put the dev and user
> lists in separated virtual folders, but access my GMail account in
> Thunderbird (IMAP). The messages are individual. I don't know if there's
> a way to maintain threads in T-bird
On 08/04/2017 10:02 PM, Scott Kostyshak wrote:
On Fri, Aug 04, 2017 at 08:22:40AM +0200, Christian Ridderström wrote:
On 2 August 2017 at 10:03, Scott Kostyshak wrote:
I'm using gmail's web interface these days. This might be why I'm finding
it difficult to efficiently follow threads that ar
