Document magic syntax for comments

Actual implementation still needs to follow! Special comments are
already created but not displayed correctly

diff --git a/source/using.rst b/source/using.rst
index e3b46958baf527574d519b73352932c81002bd4a..0abfa1ce8b48729ac9708d68ed0681d534e5e055 100644 (file)
--- a/source/using.rst
+++ b/source/using.rst
@@ -23,6 +23,11 @@ meaningful only in the context of the specific function but not when
 the same address appears within different functions. However, local
 functions are not completely implemented yet.
 
 the same address appears within different functions. However, local
 functions are not completely implemented yet.
 

+Within comments, special placeholders exist. This way functions (and,
+later, other objects cann be referenced in a way that automatically
+updates the displayed string inside the comment. The syntax for a
+function reference is ``#F<0xABCD1234>``.
+

 Saving progress
 ===============
 
 Saving progress
 ===============