Chronological Thread 

< Chronological >      < Thread >

---

Dear all,

I have some thoughts about TeXmacs remote. Currently, Joris implemented a
server and a client. What about making it more flexible as a plugin? Current
model would force all users using TeXmacs. I would propose instead we
standardize the commands in plain text and then one can put it behind an IRC
client (or any other text-based chat client) and once TeXmacs receive a
message, it decodes it? We can have two output channels: one delivers the tm
code and the other delivers verbatims in Unicode, say. In that way, a user
could either use TeXmacs to receive a fully typesetted message, or its
verbatim if using other clients?

For that, it is then not necessary to ask others to install TeXmacs to chat,
but as an option to improve the display, which seems more friendly.

Best,
Frank
--
使用 K-9 Mail 发送自我的Android设备。

---

• TeXmacs remote, Frank, 06/27/2021
  • Re: TeXmacs remote, Massimiliano Gubinelli, 06/28/2021
    • Re: TeXmacs remote, Frank, 06/28/2021

---

Archive powered by MHonArc 2.6.19.