[r2006-08-28 13:39:44 by ngesbert] atom_of does not exist anymore, so removed...

[r2006-08-28 13:39:44 by ngesbert] atom_of does not exist anymore, so removed it from the quick reference
card

Original author: ngesbert
Date: 2006-08-28 13:39:44+00:00

web/memento.xml

@@ -12,11 +12,11 @@
 
 <box title="Identifiers" link="id">
 <ul>
-<li> Type and Pattern identifiers: words formed by of Unicode letters and  and 
-the underscore "_" character,  starting by a capitalized letter. </li>
+<li> Type and Pattern identifiers: words formed by of Unicode letters and 
+the underscore "_" character,  starting by an uppercase letter. </li>
   
 <li> value identifiers: words formed by of Unicode letters and the underscore "
-_" character,  starting by a capitalized letter or underscore.</li>
+_" character,  starting by a lowercase letter or underscore.</li>
 </ul>
 </box>
 
@@ -90,7 +90,8 @@ _" character,  starting by a capitalized letter or underscore.</li>
         <br/><code>float_of</code> : String -> Float,
         <br/><code>string_of</code> : Any -> Latin1,
         <br/><code>char_of_int</code> : Int -> Char,
-        <br/><code>atom_of</code> : String -> Atom,
+        <br/><code>make_atom</code> : (String,String) -> Atom,
+	<br/><code>split_atom</code> : Atom -> (String,String),
         <br/><code>system</code> : Latin1 -> { stdout = Latin1; stderr = Latin1; 
              status = (`exited,Int) | (`stopped,Int) | (`signaled,Int)
         },