[Issue 17925] New: [Contract Programming]

[d-bugmail at puremagic.com]

https://issues.dlang.org/show_bug.cgi?id=17925

          Issue ID: 17925
           Summary: [Contract Programming]
           Product: D
           Version: D2
          Hardware: All
               URL: http://dlang.org/
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P3
         Component: dlang.org
          Assignee: nobody at puremagic.com
          Reporter: resmith5 at outlook.com

This page has changed "body" to "do" and removed all references to "body" even
though "body" still works with DMD and the current versions of LDC and GDC only
know about "body" and people with older versions of DMD would also require
"body". 

Solution: add back "body" and tell what version of DMD began allowing "do" and
note that for now, "body" also works.

--