documentation: Minor spelling corrections.

Author: denis-bogdanas

.idea/copyright/profiles_settings.xml

@@ -6,7 +6,7 @@ Some cells in this configuration are not used within the rules. They serve only
 
 While describing the configuration we will denote with $\kall{cell}{\begin{array}{@{}c@{}}{\kall{}{}... \ \kall{}{}}\end{array}}$ a container cell, holding another cells, and with $\kall{cell}{Type}$ a leaf cell and its type.
 
-During the preprocessing phase there is only one $\kall{thread}{\begin{array}{@{}c@{}}{\kall{}{}... \ \kall{}{}}\end{array}}$ where the whole program with all its classes is preprocessed. During execution phase there might be multiple $\kall{thread}{}$ cells -- one per actual running thread. The cell $\kall{thread}{}$ contains leaf-cells $\kall{k}{}$ and $\kall{stack}{}$ and container cells $\kall{methodContext}{\begin{array}{@{}c@{}}{\kall{}{}... \ \kall{}{}}\end{array}}$ and $\kall{threadData}{\begin{array}{@{}c@{}}{\kall{}{}... \ \kall{}{}}\end{array}}$. The cell $\kall{k}{}$ is the actual computation, both during preprocessing and execution. When after a preprocessing phase the cell $\kall{k}{}$ remains empty, evaluation transitions into the next phase. If the cell $\kall{k}{}$ remains empty during the execution phase, the enclosing thread is terminated. The cell $\kall{stack}{}$ is the thread stack.
+During the preprocessing phase there is only one $\kall{thread}{\begin{array}{@{}c@{}}{\kall{}{}... \ \kall{}{}}\end{array}}$ where the whole program with all its classes is preprocessed. During execution phase there might be multiple $\kall{thread}{}$ cells -- one per actual running thread. The cell $\kall{thread}{}$ contains leaf-cells $\kall{k}{}$ and $\kall{stack}{}$ and container cells $\kall{methodContext}{\begin{array}{@{}c@{}}{\kall{}{}... \ \kall{}{}}\end{array}}$ and $\kall{threadData}{\begin{array}{@{}c@{}}{\kall{}{}... \ \kall{}{}}\end{array}}$. The cell $\kall{k}{}$ is the actual computation, both during preprocessing phases and execution. When the cell $\kall{k}{}$ remains empty during preprocessing, this represents the end of the current preprocessing phase and transition to the next one. If the cell $\kall{k}{}$ remains empty during the execution, the enclosing thread is terminated. The next cell in order is $\kall{stack}{}$ -- the thread stack.
 
 Inside the cell $\kall{methodContext}{\begin{array}{@{}c@{}}{\kall{}{}... \ \kall{}{}}\end{array}}$ we have various data holding the context of the currently executing method. Here we have:
 

.idea/dictionaries/Denis.xml

@@ -27,7 +27,7 @@ rule [StartExecutionPhase]:
     </k>
     <env> . </env>
     <mainClass> ListItem(MainClassS:String) </mainClass>
-     <globalPhase> ElaborationPhase => ExecutionPhase  </globalPhase>
+    <globalPhase> ElaborationPhase => ExecutionPhase  </globalPhase>
 
 //@ \subsection{Program stack}
 
@@ -171,7 +171,7 @@ context switchImpl( _,
 
 //the type associated to V and V2 is not important for match, only the value.
 //JLS3 \$14.11, page 377: Every case constant expression associated with
-//a switch statement must be assignable (§5.2) to the type of the switch Expression.
+//a switch statement must be assignable (�5.2) to the type of the switch Expression.
 
 rule [SwitchCaseNotMatch]:
     switchImpl( V:RawVal :: _, ( 'SwitchGroup('ListWrap(