DOL 1.0 FTF Avatar
  1. OMG Issue

DOL — Simple typos and grammatical errors

  • Key: DOL-37
  • Status: open  
  • Source: Model Driven Solutions ( 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 9.8.1.2, not in the middle of 9.8.1.1.

    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
  • Updated: Sun, 20 Aug 2017 00:27 GMT