Changes

Base definitions of 'structural parameter' and 'structural expression'

This includes updating the relation to Evaluate = true.

Refine meaning of Evaluate

With separation of normal and structural parameters, it seems possible to give a more imperative meaning of Evaluate, removing some room for ambiguities and unexpected differences between tools.

Add reference to future section

Add example regarding external functions in evaluation of structural parameters

Fix typo reported by @gkurzbach

Co-authored-by: Gerd Kurzbach <Gerd.Kurzbach@esi-group.com>

Simplify rule for how to break cycles

Explain how to generate good error messages for structural variability violation

Make it possible for Evaluate = false to override Evaluate = true

Addressing use case suggested by Hans.

Introduce term 'evaluated parameter'

Rename variables used in definitions of component variabilities

Avoid declaration equations with undefined solutions in example

Use terminology 'evaluated parameter' when describing Evaluate

Go back to stronger form of acyclic binding rule

Update reason that might cause parameter evaluation

Fix case of fixed parameter without declaration equation

Slightly modify example on prevention of external function evaluation

Remove excessive 'has'

Split complicated sentence with exception for recommended warning

Clarify "unexpanded" expression of declaration equation

Also give non-normative example of using Evaluate = false

Consider function input variables as structural expressions

Multilingual Language Support - first suggestion

[MCP 0035] - more clear formatting, actualized date

refinement of the use cases and the proposed changes in the specification

Add link

change ident to name

Add index entries

Rename concept 'structural parameter' -> 'evaluable parameter'

Also renaming the associated 'structural expression' and 'structural component variability'.

Non-normatively describe common meaning of 'structural parameter'

Fix 'definition equations' -> 'declaration equations'

(Only tangentially related to the PR, but close enough.)

Rephrase slightly and avoid '=' as shorthand for 'that is'

discussion about design choices added, 

some cleanup, SpecificationText.md added

Test

Formally introduce 'evaluable parameter' as shorthand

Break into smaller pieces by introducing new section 'Component Variability'

Swap order of sections

It makes more sense to talk about rules for parameters and constants after at least having first introduced the component variability prefixes.

Update cross references

describe msgid more clearly and reformulate syntactical comment

Revert "Test"

This reverts commit 115c849d3d267322f9caa1c1f90161e5188edd5c.

Add how to handle line breaks in strings

Add in LaTeX form.

Two minor changes (in both files).
The reason for specifying ISO 639-1 is that there's also ISO 639-2.
https://en.wikipedia.org/wiki/List_of_ISO_639-1_codes
has 'de' as ISO 639-1 and 'deu', 'ger' as various ISO 639-2 codes, and ISO 639-3.
Additionally https://www.loc.gov/standards/iso639-2/php/English_list.php
there's gsw (Swiss German), nds (Low German), ...

FixWS

Make multiple lines non-normative.

Update chapters/packages.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Clarify when quoted.

Update chapters/packages.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Formatting

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Formatting

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Upper case initial:

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Also need to guard the period

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Sentence-based line breaking:

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Missing word

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Apply suggestions from code review

Co-authored-by: Gerd Kurzbach <Gerd.Kurzbach@esi-group.com>
Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Make text format non-normative.

Use URIs

Update chapters/packages.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Update chapters/packages.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Use \firstuse where 'transient analysis' is introduced

Revert "Use \firstuse where 'transient analysis' is introduced"

We'll take care of this in #3146 instead.
See: https://github.com/modelica/ModelicaSpecification/pull/2754#discussion_r841705732

This reverts commit 5fba04e1c745af227be42799d2c9f199f573f12c.

put more format description into nonnormative text

remove Please

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

empty line inserted

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

replace angle brackets

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

replace angle brackets

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

replace angle brackets

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

insert empty line

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

combine two sentences

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

replace angle brackets

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

reformulation

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

replace angle brackets

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

change formatting

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

introduction to nonnormative section added

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

add missing sentence

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Reorganize non-normative contents

Prepared in collaboration with Gerd.

Fix build break by removing use of 'quotation' environment

add # -no-c-format to example

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

explain wha no-c-format

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Use bibliography for gettext reference

Remove stray 'and' in bibliography

Branced off variant for limiting multiple connections.
Revert "Remove 2nd one; turn into separate PR."

This reverts commit 9ea8d41d45c723c9162bfb64e8c9268a9c65dc70.

Remove zero start value and explain alternative.

And remove the problematic use of "modifier for".

AdditionalImprovements

Update chapters/packages.tex

Co-authored-by: Thomas Beutlich <modelica@tbeu.de>

Update chapters/packages.tex

Co-authored-by: Thomas Beutlich <modelica@tbeu.de>

Update chapters/packages.tex

Co-authored-by: Thomas Beutlich <modelica@tbeu.de>

Update chapters/packages.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

SelectAcceptable

Clean up fall-back value to have it in one place and be concise.

Add clocked discrete-time expressions to discrete-time.

RemoveWS

Update chapters/packages.tex

Update mls.bib

Update chapters/packages.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Update chapters/packages.tex

Update chapters/packages.tex

Update chapters/packages.tex

Update chapters/classes.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Update chapters/classes.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Update chapters/classes.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Update chapters/equations.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Update chapters/classes.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Update chapters/classes.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Spelling

Use fallback consistently and math for 0.0 and 0

More clearly define that fallfack value is applicable everywhere.

Spelling

Update chapters/packages.tex

Update chapters/packages.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Update RationaleMCP/0035/Readme.md

Update RationaleMCP/0035/SpecificationText.md

Update chapters/packages.tex

Co-authored-by: Thomas Beutlich <modelica@tbeu.de>

Update RationaleMCP/0035/SpecificationText.md

Co-authored-by: Thomas Beutlich <modelica@tbeu.de>

Update RationaleMCP/0035/SpecificationText.md

Co-authored-by: Thomas Beutlich <modelica@tbeu.de>

Update chapters/packages.tex

Co-authored-by: Thomas Beutlich <modelica@tbeu.de>

Clarify that a when-clause cannot activate multiple reinit for the same variable

Clean up white-space in listing

Clarify that variable of a reinit is not considered a left-hand side

Update chapters/packages.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Add extra words to avoid odd line-break.

Forbid zero delay.
Closes #3245

Try to clarify design pattern.

Specify that extent and preserveAspectRatio use the same logic but separately.
Closes #3219

Apply suggestions from code review

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Apply Hans' suggestion about multiple reinit for same variable

Co-authored-by: Hans Olsson <HansOlsson@users.noreply.github.com>

Grammar and punctuation

Add links for MCP-0027

Update chapters/equations.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Update chapters/packages.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Update chapters/packages.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Update chapters/packages.tex

Update chapters/packages.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Update chapters/packages.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Update chapters/packages.tex

Update chapters/packages.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Update chapters/packages.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Update chapters/packages.tex

Update chapters/packages.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Our 'format' string is inspired by ANSI-C, not fully according to it

Clarify rules about allowed combination of String named arguments

Clean up presentation of 'format'

Don't require 'significantDigits' and improve presentation

Split long sentence

Change 'length modifier' -> 'length field specifier'

It seems unnecessary to use 'modifier', which generally has a very precise meaning in the specification, and isn't the term which seems to be standard when talking about format specifiers.

Skip 'and format is not provided'

As suggested by Per.

Change 'conversion specifier' -> 'conversion specification'

As suggested by Hans.

Update chapters/packages.tex

Update chapters/packages.tex

Say 'conversion specifier'

As suggested by Hans.

Co-authored-by: Hans Olsson <HansOlsson@users.noreply.github.com>

Say 'length modifier'

As suggested by Hans.

Co-authored-by: Hans Olsson <HansOlsson@users.noreply.github.com>

Add String synopsis case for Integer with 'format'

Speak of Real and Integer instead of 'integral' and 'non-integral'

The use of 'integral' seems misleading in a context where also Booleans and enumeration values could be considered integral.

Fix missing formatting of "T"

Sentence-based line breaking in array concatenation

Add 'cat' to document index

Sentence-based line break

As noted by Hans.

Co-authored-by: Hans Olsson <HansOlsson@users.noreply.github.com>

Fix grammar 'is' -> 'are'

Fixes #3271.

Fix formatting of 'if-clause'

Make list item complete sentences to match nearby item list style

Mention name of equations generated from the connect sets

Rename grammar production 'connect-clause' -> 'connect-equation'

This is both a better match with names of related productions such as 'if-equation', and also corresponds to what the resulting equation is called.

Update chapters/packages.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Update RationaleMCP/0035/Readme.md

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Fix incorrect form of 'start-attribute'

Add "which is used in this case"

Clarify the difference between when-equations and clocked when-equations.
Closes #3001

Removing Modifications (MCP-0009) (#3167)

* Create README.md
  * Add from old svn-server
  * Added experience in Dymola.
  * Added user experience
  * As discussed at the meeting.
  * Clarified experience.
  * Removed empty-variant. The meeting otherwise found it ok.
  * Add semantics of break.
  * Clarify that it is legal despite the rules for balanced models.
* Update chapters/inheritance.tex
* Update RationaleMCP/0009/README.md
* Correct rule for modifiers so that we can add equations in modifiers on base-classes.
Co-authored-by: Elena Shmoylova <eshmoylova@users.noreply.github.com>

Selective Model Extension (with specification text) (#3166)

MCP-0032: Initial commit.
* MCP0032: Added summary of the discussions and decisions of the 99th Modelica Design Meeting.
* MCP0032: Finished summary of the 99th Modelica Design Meeting.
* MCP0032: Added next examples library version with final deselection syntax.
* MCP0032: Added summary of the discussions and decisions at the 100th Modelica Design Meeting.
* MCP0032: Added next examples library version with final deselection syntax.
* MCP/0032: Update with latest feedback from the MAP-Lang meeting on 2021-09-18 and Elena Shmoylova (mostly clarification of rule 2.1 of "Semantic rules"-Section: deselected components must be models, blocks or connectors and deselecting a component also deselects all its connections).
* Incorporated feedback from Leonardo Laguna Ruiz and Henrik Tidefelt (Wolfram Research, Inc., [System Modeler](https://www.wolfram.com/system-modeler/)) and Elena Shmoylova (Waterloo Maple Inc.) given on [GitHub](https://github.com/modelica/ModelicaSpecification/issues/3005), resulting in the new _"Non-normative explanation of some interesting consequences of the semantic rules"_ Section.
* Correction annotation->annotation-clause outside of grammar-chapter.
One related to MCP - rest unrelated; so we might cherry pick and add them to master.
Co-authored-by: Christoff Bürger <Christoff.Buerger@gmail.com>
Co-authored-by: Elena Shmoylova <eshmoylova@users.noreply.github.com>
Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Update chapters/equations.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Update chapters/synchronous.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Update link

Clarify system of equations between different sub-clocks.

Improve definition of exponentiation.

Update chapters/arrays.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Update chapters/arrays.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Update chapters/arrays.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Update chapters/arrays.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Update chapters/arrays.tex

Apply suggestions from code review

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Update chapters/arrays.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Clarify that standard type coercion does not happen for String

According to web meeting decision: https://github.com/modelica/ModelicaSpecification/pull/3262#issuecomment-1323889913

Replace non-normative paragraph by three-part example

Don't say that String supports String, because it doesn't

Fixes #3264.

Add missing "if" in "if and only they"

Split the restrictions for when-equations into two lists, since they are different forms.
The problem was introduced in Modelica 2.0 when the new restrictions were added.
Closes #3291

Add cmap with other latex-packages.
Not sure if it works, or if we need to import it separately and possibly add more.

Update chapters/equations.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Uploaded a new docker image

In order to support search and copying of ligatures.
Closes #3286
It may be that we need to install additional packages on the docker-image (cmap and one more).

It seems we don't use virtual fonts so the more complicated solution isn't needed.
Note that an alternative would be to use mmap, which also adds math-handling.
It has the nice benefit that symbols like \in and \bigcup are automatically handled by copy-paste.
However, since it doesn't handle fractions it seems unclear if it is worth it.

Initial draft for plot axis scale

Fix mistake in decibel conversion

Use more typical value of symlog parameter

Mention that only two values of dB.order are in widespread use

Fix broken math

Rename dB parameter 'order' -> 'factor'

Improve tick label example

Only allow dB conversion factors 10 and 20

Do not remove curl from the docker image (#3299)

tlmgr depends on curl to work correctly

Sentence-based line breaks for absoluteValue-annotation

Don't format 'offset' as inline code

Add formatting of 'true'

connect-clause was renamed to be connect-equation

Matching other definitions in the chapter

Missing type specifier in example (#3303)

* Missing type specifier in example
Missing type specifier in the example for Removing modifiers.
* Restore newline at end of file
Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Reference connector balancing restriction.
Closes #3260

Constrain array assignments with implicit iterators.
Closes #3250

Plural.

Add comment about LaTeXML issue 1377 being fixed on master

Add comment about LaTeXML issue 1395 being fixed on master

Put normative part before example, and rewrite last sentence.

Fix typo.

Clarify that each can be inside an array.
Closes #3052

Clarify that "final x=break" cannot be overriden.
Closes #3310

Remove "extends FilledShape" from Text-definitions.
Closes# 2157
It has been deprecated for quite some time, and my proposal is that we either do it now or just after releasing 3.6.

Turn two listings into separate examples, and add short introductions

Order example from more elementary to more advanced

Apply suggestions from code review

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

MakeNormative

MoveNormative

MoveNormative

Revert "Merge remote-tracking branch 'origin/ClarifyEach' into ConstrainArrayAssignment"

This reverts commit de1b6a6545238584621ed3b36a7d7b9333702ac6, reversing
changes made to 2d4a795bf35799b0740c72fe6577949d1200a8ae.

Update classes.tex

Add chapters/*.aux to clean-pdf target

Add more globs to clean-pdf and clean-html, until clean 'git clean -nx'

Only load cmap.sty when building PDF

Fixes #3302.

Use double quotes instead of single around two letter code fragment

Explain use of quotes around code fragments

Fixes #3191.

Clarify relation between predefined type names and keywords

Fixes #2813.

Remove stray empty line in Placement record

Improve language

Simplify presentation of Transformation for improved clarity

Add text about lookup for choices. (#3307)

* Add text about lookup for choices.
Closes #3244
* Update chapters/inheritance.tex
Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Revert "Forbid zero delay."

This reverts commit 8824abb527e07ce581ed7eef755800f5183482f7.

Update chapters/abstract.tex

Update chapters/equations.tex

Update chapters/operatorsandexpressions.tex

Phone discussion. Deprecate one case.

Add non-zero in this case.

Deprecate String formatting of Real as Integer

Remove possibility to wrap code fragment in double quotes

As suggested by Hans.

Update chapters/packages.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Update chapters/packages.tex

Co-authored-by: Thomas Beutlich <modelica@tbeu.de>

Update chapters/packages.tex

Co-authored-by: Thomas Beutlich <modelica@tbeu.de>

Apply suggestions from code review

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Fix indentation error in listing

Describe the three alternatives for the deprecated feature

Addressing review comment by Hans.

Update chapters/arrays.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

Fix minor typo

Add comma (#3329)

* Search and replace fixes.
Closes #3235
* Additional ones.
Note that I replaced the use of colon before an example with ",".
Clearly "e.g.,:" would seem excessive, and it wasn't clear that "e.g.:" is really correct (and it is at least rare).
https://en.wikipedia.org/wiki/Colon_(punctuation) indicates that the part before colon should be a complete sentence and these abbrevs. aren't.
* Update chapters/classes.tex
* Apply suggestions from code review
Restore case
* Add it to the style guide as well.
* Comma Before according to review
* One more missing comma before
* Better explanation of when to use comma
* Apply suggestions from code review
* Additional missing comma before.
Note that one sentence was rewritten to add a parenthesis around the example-text.

Co-authored-by: Elena Shmoylova <eshmoylova@users.noreply.github.com>