Mailman 3 Fwd: Transportable indent level markers. >>>===<<< - Python-ideas

15 Dec 2011

      On Wed, Dec 14, 2011 at 9:08 PM, Ron Adam ron3200@gmail.com wrote:
...
On Wed, 2011-12-14 at 18:53 -0500, Terry Reedy wrote:
...
On 12/13/2011 10:53 AM, Guido van Rossum wrote:
...
On Mon, Dec 12, 2011 at 9:24 PM, Terry Reedytjreedy@udel.edu  wrote:
...
On 12/12/2011 5:07 PM, Ron Adam wrote:
...
To make that work, we need to use unique character sequences that
aren't
...
...
...
...
already used.  After some thought, I came up with these
indent-markers.
...
...
...
...
 ///   # indent level +1
 ;;;   # indent level +0
 \\\   # indent level -1

Why not use INDENT, ;, and DEDENT   (or   <INDENT>   <;>   and <DEDENT>) ?
;-)
André