Declare Version 1.0 of the Checked C spec.

Author: dtarditi

spec/bounds_safety/checkedc.tex

@@ -186,7 +186,8 @@
 \mbox{ }\\
 \vspace{1in}
 {\huge Checked C Specification \par}
-{Version 1.0 - Draft as of \today \par}
+% {Version 1.0 - Draft as of \today \par}
+{Version 1.0 - November 7, 2023}
 \vspace{0.25in}
 
 {\it Summary \par}

spec/bounds_safety/introduction.tex

@@ -396,7 +396,7 @@ \section{Organization of this document}
 is always between 0 and 10. This can be used to deduce that an array
 access in a crucial inner loop is always in bounds.
 
-Chapter\ref{chapter:roadmap} describes future planned features for Checked C.
+Chapter~\ref{chapter:roadmap} describes future planned features for Checked C.
 These feature are currently not implemented in the Checked C compiler.
 
 \omitted{