X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fstandards.texi;h=b95d930d36d13eda918bb7fb516bfb795e97068b;hb=4600899b8430f10a10e13761829bff41bc5ca902;hp=1434a635ecdae320d66bd1a56ed9a977c2438e8c;hpb=7a48d9a0ac4176681da03e878061b0c59e5bade4;p=pintos-anon

diff --git a/doc/standards.texi b/doc/standards.texi
index 1434a63..b95d930 100644
--- a/doc/standards.texi
+++ b/doc/standards.texi
@@ -41,6 +41,11 @@ them too, especially chapter 5, ``Making the Best Use of C.''  Using a
 different style won't cause actual problems, but it's ugly to see
 gratuitous differences in style from one function to another.
 
+Pintos comments sometimes refer to outside standards or
+specifications by writing a name inside square brackets, like this:
+@code{[IA32-v3]}.  These names refer to the reference names used in
+this documentation (@pxref{References}).
+
 @node Conditional Compilation
 @section Conditional Compilation
 
@@ -64,9 +69,14 @@ compile properly without the need for any new macros to be defined.
 There are a few exceptions:
 
 @itemize @bullet
+@item
+Problem 1-2, @code{thread_join()}.  Some other code expects
+@code{THREAD_JOIN_IMPLEMENTED} to be defined once you've implemented
+this function.
+
 @item
 Problem 1-4, the advanced scheduler.  We must be able to turn this on
-and off with a compile time directive.  You must use the macro name we
+and off with a compile-time directive.  You must use the macro name we
 specify for that part.  @xref{Problem 1-4 Advanced Scheduler}, for
 details.
 
@@ -135,7 +145,7 @@ the C compiler concatenates adjacent string literals:
 #include <inttypes.h>
 @dots{}
 int32_t value = @dots{};
-printf ("value=%08"PRId32"\n");
+printf ("value=%08"PRId32"\n", value);
 @end example
 @noindent
 The @samp{%} is not supplied by the @code{PRI} macros.  As shown