Re: langserver - this looks important

2017-09-13 Thread lewis
see LSP for Leo -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from

Re: langserver - this looks important

2017-09-13 Thread Edward K. Ream
On Wed, Sep 13, 2017 at 8:40 AM, Phil wrote: > I just ran across this 5 minutes ago, so I can't really comment on it > other than that it appears relevant to Leo, so I though I'd pass along the > info: > > http://langserver.org/ > ​I'm pretty sure we discussed this before, because I have a bookm

Re: langserver - this looks important

2017-09-13 Thread john lunzer
On Wednesday, September 13, 2017 at 9:40:04 AM UTC-4, Phil wrote: > > I just ran across this 5 minutes ago, so I can't really comment on it > other than that it appears relevant to Leo, so I though I'd pass along the > info: > > http://langserver.org/ > I agree, this does *seem* important. Hard

Re: langserver - this looks important

2017-09-13 Thread Terry Brown
On Wed, 13 Sep 2017 06:40:04 -0700 (PDT) Phil wrote: > I just ran across this 5 minutes ago, so I can't really comment on it > other than that it appears relevant to Leo, so I though I'd pass > along the info: > > http://langserver.org/ I've heard about this, but hadn't seen a concrete implemen

langserver - this looks important

2017-09-13 Thread Phil
I just ran across this 5 minutes ago, so I can't really comment on it other than that it appears relevant to Leo, so I though I'd pass along the info: http://langserver.org/ -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from thi