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

Re: Formatting ASCII text

From: Nick Radonic <big...@xxxxxxxxx>
Date: Sun, 1 Oct 2017 10:58:13 -0700 (PDT)
References: <b941cf2d-477e-4358-ac4a-932f9abb765d@googlegroups.com> <a7b4ec78-b996-4901-b438-c6690ecfaffa@googlegroups.com> <862b5f73-53ba-48fc-81d8-6767dd132aa0@googlegroups.com>

Leslie

I kept watching videos on TLS+ and eventually found out about PlusCal. I also saw your videos from Stanford (6 rules for text alignment) and decided my original question was moot. I was looking for text editor behavior in a system that auto generated the TLS+ code.

Nick

References:
- Formatting ASCII text
  - From: Nick Radonic
- Re: Formatting ASCII text
  - From: Leslie Lamport
- Re: Formatting ASCII text
  - From: Nick Radonic

Prev by Date: Re: [tlaplus] Re: Trouble Running Toolbox on macOS Sierra
Next by Date: Re: [tlaplus] Missing error trace on invariant violation
Previous by thread: Re: Formatting ASCII text
Next by thread: Failed to run TLA+ Toolbox 1.5.3 on Mac OS El Capitan
Index(es):
- Date
- Thread