Index: TODO
===================================================================
diff -u -r3a0d180d2de8a7d03adb2aa57eb865e83dae7d68 -r27e11788125901ff468955117d165f70d3871ce0
--- TODO	(.../TODO)	(revision 3a0d180d2de8a7d03adb2aa57eb865e83dae7d68)
+++ TODO	(.../TODO)	(revision 27e11788125901ff468955117d165f70d3871ce0)
@@ -1323,6 +1323,9 @@
   aliases to objects
 - removed some obsolete functions
 
+- changed "info available" into "info lookup"
+  (and accordingly c definitions)
+
 TODO: 
 
 - check equivalence of the following two commands