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 Reedy<tjreedy@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é