[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Unicode

From: Ron Pressler <r...@xxxxxxxxxxxxxxxxxxx>
Date: Mon, 28 Mar 2016 09:57:27 -0700 (PDT)
References: <c19bdadf-b43b-445c-b8ae-3441871f26c1@googlegroups.com> <32cc1548-8784-468a-bd98-4edd42f5a59d@googlegroups.com> <66eb51ee-2c70-4cea-89bb-9ccdf76a5146@googlegroups.com>

There's also PragmataPro, which isn't free, but if TLA+ supports unicode (and is shipped with, say, DejaVu Mono), then users will be free to purchase PragmataPro, as an Agda/Coq/HOL developer told me he'd done.

References:
- Unicode
  - From: Ron Pressler
- Re: Unicode
  - From: Leslie Lamport
- Re: Unicode
  - From: Ron Pressler

Prev by Date: Re: Unicode
Next by Date: Re: Unicode
Previous by thread: Re: Unicode
Next by thread: Re: Unicode
Index(es):
- Date
- Thread