diff --git a/src/runtime/javascript/minibar/about.html b/src/runtime/javascript/minibar/about.html
index f245c7aaf..bce203708 100644
--- a/src/runtime/javascript/minibar/about.html
+++ b/src/runtime/javascript/minibar/about.html
@@ -2,6 +2,8 @@
About Minibar
+
+
@@ -104,11 +106,48 @@ Some implementation details:
[Added 2010-09-10] The default input language is now the user's preferred
language, if possible. This is implemented by consulting the
userLanguage field in the grammar info output by pgf-server.
+
[Added 2010-10-27] Keyboard input and completion should now work much
+ more smoothly:
+
+
When you press space, the current word will be completed (if incomplete)
+ and a new magnet will be created. If there is more than one possible
+ completion, no magnet is created, but the common prefix of the possible
+ completions is added to the text box.
+
Instead of asking the server for possible completions every time a new
+ letter is added to the curent word, minibar only ask for completions for
+ whole words and then filters the list locally when more letters are entered,
+ speeding things up when server responses are slow.
+
+
[Added 2010-10-27] Code restructuring:
+
+
The PGF server API has been moved to its own file:
+ pgf_online.js. This
+ allows it to be reused in other applicaitons without importing the entire
+ minibar. It also allows minibar to be used with different server
+ interfaces. minibar.html has been updated to
+ show how you use the new minibar.js and
+ pgf_online.js.
+
The minibar code has been rewritten to avoid storing state information
+ in the document tree and accessing it by referring to named document
+ elements. The code now also avoids using string literals contaning
+ the names of top-level functions to specify event handlers for buttons
+ and menus. (The code is no longer introspective, so α conversion
+ will not change its meaning.)
+