Whatever it is, it could be apparently replaced by Markdown, which also uses ## signs to denote header levels.
On Wednesday, September 13, 2023 at 2:11:26 PM UTC-4 Edward K. Ream wrote: > On Wed, Sep 13, 2023 at 12:09 PM Thomas Passin <tbp1...@gmail.com> wrote: > > > There's a "ctext" related to the Chinese Text Project, but it's nothing > to do with this one. > > Right. I thought perhaps ctext was related to cweb, but that doesn't seem > to be true either. > > It looks like ctext, whatever it is, is obsolete. > > Edward > > > -- 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 it, send an email to leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/8d424b1b-c16e-4775-b862-eb97ba43f13en%40googlegroups.com.