Working insertion of hash values; added a few labels in spec

docs/language/dartLangSpec.tex

Index: docs/language/dartLangSpec.tex
diff --git a/docs/language/dartLangSpec.tex b/docs/language/dartLangSpec.tex
index 1b22fd8bc2a58e3961055c15ef3e96aca8e525a4..8585b4df0ebabfce8654a4938e59267a50348461 100644
--- a/docs/language/dartLangSpec.tex
+++ b/docs/language/dartLangSpec.tex
@@ -286,6 +286,7 @@ Thus, if the name of a library begins with an underscore, it has no effect on th
 Privacy is indicated by the name of a declaration - hence privacy and naming are not orthogonal. This has the advantage that both humans and machines can recognize access to private declarations at the point of use without knowledge of the context from which the declaration is derived.}
 
 \subsection{Concurrency}
+\LMLabel{concurrency}
 
 \LMHash{}
 Dart code is always single threaded. There is no shared-state concurrency in Dart. Concurrency is supported via actor-like entities called {\em isolates}.
@@ -717,6 +718,7 @@ A {\em required formal parameter} may be specified in one of three ways:
 \end{grammar}
 
 %\subsubsection{Rest Formals}
+%\LMLabel{restFormals}
 
 %A rest formal $R$ must be the last parameter in a formal parameter list.  If a  type $T$ is specified for $R$, it signifies that the type of $R$ is $T[]$. 
 
@@ -1267,6 +1269,7 @@ A generative constructor may be {\em redirecting}, in which case its only action
 %\Q{We now have generative constructors with no bodies as well.}
 
 \paragraph{Initializer Lists}
+\LMLabel{initializerLists}
 
 \LMHash{}
 An initializer list begins with a colon, and consists of a comma-separated list of individual {\em initializers}. There are two kinds of initializers.
@@ -3645,6 +3648,7 @@ the static type of $i$ is the declared return type of  $F$.
 %\end{itemize}
 
 \subsection{ Lookup}
+\LMLabel{lookup}
 
 \subsubsection{Method Lookup}
 \LMLabel{methodLookup}
@@ -7116,6 +7120,7 @@ The scope of a documentation comment immediately preceding the declaration of a
 
 
 %\subsection{Grammar}
+%\LMLabel{grammar}
 \subsection{Operator Precedence}
 \LMLabel{operatorPrecedence}
 
@@ -7162,10 +7167,12 @@ Assignment &  =, *=, /=, +=, -= ,\&=, \^{}= etc.  &  Right &  1\\
 \end{tabular}
 }
 %\subsection{Glossary}
+%\LMLabel{glossary}
 
 %\bibliographystyle{alpha}
 %\bibliography{/users/gilad/research/bibs/master}
 \section*{Appendix: Naming Conventions}
+\LMLabel{namingConventions}
 
 \commentary{
 The following naming conventions are customary in Dart programs.