updated the docs

--HG--
extra : convert_revision : svn%3Afdd8eb12-d10e-0410-9acb-85c331704f74/trunk%402618

docs/docs/metaprogramming.xml

@@ -31,6 +31,7 @@
       <section>
          <name>Objects</name>
          <item>is_pointer_type</item>
+         <item>is_const_type</item>
          <item>is_same_type</item>
          <item>is_function</item>
          <item>is_signed_type</item>
@@ -262,6 +263,20 @@
       
    <!-- ************************************************************************* -->
       
+      <component>
+         <name>is_const_type</name>
+         <file>dlib/algs.h</file>
+         <spec_file link="true">dlib/algs.h</spec_file>
+         <description>
+            This is a template where is_const_type&lt;T&gt;::value == true when T is a const 
+            type ane false otherwise.
+         </description>
+         
+      </component>
+      
+   <!-- ************************************************************************* -->
+
+      
       <component>
          <name>is_pointer_type</name>
          <file>dlib/algs.h</file>

docs/docs/other.xml

@@ -277,7 +277,9 @@
                <name>member_function_pointer_kernel_1</name>
                <file>dlib/member_function_pointer/member_function_pointer_kernel_1.h</file>
                <description> 
-                  This implementation is done using virtual functions in the obvious way (sorta).
+                  This implementation is done using type erasure and placement new.  This
+                  means that it never allocates memory on the heap and instead stores everything
+                  on the stack.
                </description> 
     
                <typedefs>

docs/docs/term_index.xml

@@ -610,6 +610,7 @@
          <term link="metaprogramming.html#TIME_THIS" name="TIME_THIS_TO"/>
          <term link="metaprogramming.html#_dT" name="_dT"/>
          <term link="metaprogramming.html#is_pointer_type" name="is_pointer_type"/>
+         <term link="metaprogramming.html#is_const_type" name="is_const_type"/>
          <term link="metaprogramming.html#is_same_type" name="is_same_type"/>
          <term link="metaprogramming.html#is_function" name="is_function"/>
          <term link="metaprogramming.html#wrap_function" name="wrap_function"/>