From c5086bda7cf8987ee8b8c557dae8ac383e5b2384 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Mon, 22 Aug 2011 17:55:47 +0000
Subject: [PATCH] minibar: documentation update

---
 src/runtime/javascript/minibar/about.html | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/runtime/javascript/minibar/about.html b/src/runtime/javascript/minibar/about.html
index 372d85f19..69fba5a9d 100644
--- a/src/runtime/javascript/minibar/about.html
+++ b/src/runtime/javascript/minibar/about.html
@@ -162,11 +162,16 @@ Some implementation details:
    <a href="minibar_support.js">minibar_support.js</a>.
  <li>[Added 2011-08-09] Added some <a href="minibar-api.html">Minibar API</a>
    documentation.
+ <li>[Changed 2011-08-22] Quick fix to allow literals to be entered:
+   if you press Enter, the current word will be accepted, even if there are no
+   matching completions.
+   (You can now use names of people when constructing sentences in the Letter
+   grammar, for example.)
 </ul>
 
 <hr>
 <small class=modtime>
-<!-- hhmts start --> Last modified: Thu Aug 11 17:07:13 CEST 2011 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Mon Aug 22 19:31:37 CEST 2011 <!-- hhmts end -->
 </small>
 <address>
 <a href="http://www.cs.chalmers.se/~hallgren/">TH</a>