Revert "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 5d6c58d3a5ef970aa4f0394860bbc4556ea798c1..fd3073c1d1468946fbde37325ab17e98b427a629 100644
--- a/docs/language/dartLangSpec.tex
+++ b/docs/language/dartLangSpec.tex
@@ -249,7 +249,6 @@ 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}
 
 Dart code is always single threaded. There is no shared-state concurrency in Dart. Concurrency is supported via actor-like entities called {\em isolates}.
 
@@ -637,7 +636,6 @@ 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[]$. 
 
@@ -1129,7 +1127,6 @@ 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}
 
 An initializer list begins with a colon, and consists of a comma-separated list of individual {\em initializers}. There are two kinds of initializers.
 \begin{itemize}
@@ -3278,7 +3275,6 @@ the static type of $i$ is the declared return type of  $F$.
 %\end{itemize}
 
 \subsection{ Lookup}
-\LMLabel{lookup}
 
 \subsubsection{Method Lookup}
 \label{methodLookup}
@@ -6378,7 +6374,6 @@ The scope of a documentation comment immediately preceding the declaration of a
 
 
 %\subsection{Grammar}
-%\LMLabel{grammar}
 \subsection{Operator Precedence}
 \label{operatorPrecedence}
 
@@ -6424,12 +6419,10 @@ 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.