Well, there are two old maintainers: Paul Miller (already contacted him, he doesn't mind if I take over), and Francesco Chemolli (I'll ask him, just in case). Anyway, I already introduced a github PR for pike.vim, autodoc.vim and cmod.vim two days ago, which is currently being reviewed.
Might I remark though, that even though I love Vim, no questions asked, and I love regexps, that writing syntax colouring files for vim still appears to be a rare form of masochism. It's the ultimate spaghetti code with a hint of non-determinism added due to things being ever so mildly order (in)dependent. On Fri, Jan 19, 2018 at 9:31 AM, Bram Moolenaar <[email protected]> wrote: > > Stephen van de Berg wrote: > > > I have created a (long overdue) new version of the pike.vim syntax file, > plus another autodoc.vim that goes with it. > > > > https://vim.sourceforge.io/scripts/script_search_results. > php?keywords=pike&script_type=syntax&order_by=rating& > direction=descending&search=search > > > > What do I need to do to get both included in new distributions of Vim? > > Autodoc.vim appears to be new, right? There already is a pike.vim syntax > file, but it's very old. Still, it would be good to try to contact the > previous maintainer. Most likely you can take over maintenance. > > -- > hundred-and-one symptoms of being an internet addict: > 223. You set up a web-cam as your home's security system. > > /// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net > \\\ > /// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ > \\\ > \\\ an exciting new programming language -- http://www.Zimbu.org > /// > \\\ help me help AIDS victims -- http://ICCF-Holland.org > /// > > -- Stephen. -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
