Plugin xsltWithNodes.py Can no longer work

The plugin requires a library that no longer exists (4Suite). Is there a standard way to handle plugins that are too obsolete? Do they move to the attic? -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop

Formal Verification - TLA+

" TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed one" TLA+ Home page It's probably worth going quickly to this page on the site -Industrial Use of TLA+

Re: Impressive ChatGPT responses

On Fri, Apr 21, 2023 at 11:13 AM Thomas Passin wrote: > And now comes Google: Google's Bard AI Chatbot Can Now Help You Code and > Create Functions For Google Sheets >

Re: Impressive ChatGPT responses

And now comes Google: Google's Bard AI Chatbot Can Now Help You Code and Create Functions For Google Sheets .