Changes between Initial Version and Version 1 of Ticket #474, comment 1


Ignore:
Timestamp:
Jul 6, 2013, 9:11:32 PM (11 years ago)
Author:
courtieu
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #474, comment 1

    initial v1  
    11Hi,
    22
    3 IMO the levels of Definition are ok here: Definition without an ":=" are starting a proof. So after  the dot there is a shift to the right. Some other strange things are due to the lack of ".3 at the end of commands.
     3IMO the levels of Definitions are ok here: Definitions without an ":=" are starting a proof. So after  the dot there is a shift to the right. Some other strange things are due to the lack of a dot at the end of commands.
    44
    55However & is indeed badly indented. I will look at it.