Re: Anybody else with an interest in parser wrangling?

2023-03-19 Thread David Kastrup
Jean Abou Samra writes: > Le dimanche 19 mars 2023 à 17:51 +0100, David Kastrup a écrit : >> >> So how to better involve others?  The parser may be one of those >> areas with an awful amount of shoestring and glue, namely fiddling >> around until things happen to work.  All that fiddling

Re: Musings on our translated documentation build

2023-03-19 Thread Federico Bruni
Il giorno lun 13 mar 2023 alle 22:20:12 +0100, Jonas Hahnfeld ha scritto: > I would like to see a test for a language in order to better understand. Here's a proof-of-concept for the French Usage Manual (sorry, if I had correctly remembered that it was you and not Jean-Charles, I would have

Re: Anybody else with an interest in parser wrangling?

2023-03-19 Thread Jean Abou Samra
Le dimanche 19 mars 2023 à 17:51 +0100, David Kastrup a écrit : > > I've not been particularly active in the last years, and there has not > really been a significant pickup in activity concerning syntax/parser. > Now for better or worse, before I picked up tenure there was GLISS, the >

Re: Anybody else with an interest in parser wrangling?

2023-03-19 Thread David Kastrup
David Zelinsky writes: > David Kastrup writes: > >> But while my desire for work on user-pointing and internal design and >> architecture at that time sort of unfolded mostly in a vacuum, the years >> since then have not seen a lot of uptake. > [...] >> There also is a lot of potential for

Re: Anybody else with an interest in parser wrangling?

2023-03-19 Thread David Zelinsky
David Kastrup writes: > But while my desire for work on user-pointing and internal design and > architecture at that time sort of unfolded mostly in a vacuum, the years > since then have not seen a lot of uptake. [...] > There also is a lot of potential for making ping-pong progress. I >

Anybody else with an interest in parser wrangling?

2023-03-19 Thread David Kastrup
I've not been particularly active in the last years, and there has not really been a significant pickup in activity concerning syntax/parser. Now for better or worse, before I picked up tenure there was GLISS, the "Grand Lilypond Input Syntax Something" that sort of tried a top-down prescription

Re: Make gitlab automatically add MR ID to commit message(s)?

2023-03-19 Thread Jean Abou Samra
Le dimanche 19 mars 2023 à 12:07 +, Werner LEMBERG a écrit : > ``` > > I think it would be beneficial if the original MR ID gets added to the > commit message(s).  Is this possible?  In many cases there is some > useful discussion that might help better understand code issues. > > Ideally,

Make gitlab automatically add MR ID to commit message(s)?

2023-03-19 Thread Werner LEMBERG
I think it would be beneficial if the original MR ID gets added to the commit message(s). Is this possible? In many cases there is some useful discussion that might help better understand code issues. Ideally, the 'merge request' button would do that. Werner

Re: Benefits of Cairo backend over Ghostscript for PDF

2023-03-19 Thread Han-Wen Nienhuys
On Sat, Mar 18, 2023 at 1:15 PM Jean Abou Samra wrote: > > It is possible to avoid this waste by using a > > graphics package implemented in pure TEX (such > > as TikZ) or using METAPOST (for which there is > > special support in dvips, dvipdfm(x) and pdfTEX to > > avoid font and glyph