symbol change in von "Mod" to "Real" in the semantics not highlighted

tillmo / DOL

The Distributed Ontology, Modeling and Specification Language (DOL) - an answer to the OMG RFP OntoIOp. * View the latest version here: https://github.com/tillmo/DOL/raw/master/Standard/dol.pdf. * Convenience version with diff to version of August 24: https://github.com/tillmo/DOL/raw/master/Standard/dol-diff.pdf * Homepage of OntoIOp is

http://ontoiop.org

7 stars 1 forks source link

symbol change in von "Mod" to "Real" in the semantics not highlighted #370

Closed fabianneuhaus closed 6 years ago

fabianneuhaus commented 6 years ago

The diff file does not highlight the changes from "Mod" to "Real" in the semantics. See, for example, the definition of institution on page 70.