DOL 1.0 FTF Avatar
  1. OMG Issue

DOL — Simple typos and grammatical errors

  • Key: DOL-37
  • Status: closed  
  • Source: Model Driven Solutions ( Mr. Steve Cook)
  • Summary:

    P11: shard -> shared

    P25: “Annex M provides of DOL texts, which provide examples for all DOL constructs,” clumsy. Reword “Annex M provides textual examples for all DOL constructs,”

    P25: The bibliography contains Q references -> delete Q

    P31: “Often is useful” -> “Often it is useful”

    P35: “in this context are ask” -> “in this context ask”

    P62: Table 2 should be positioned in, not in the middle of

    P125: “many-sorted first has been formalized” -> “many-sorted first-order logic has been formalized”

  • Reported: DOL 1.0b1 — Tue, 23 Aug 2016 09:48 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    all corrections were made

    all corrections were made

  • Updated: Mon, 2 Apr 2018 18:08 GMT