From dfcd61de00e472b4e137bc38259d9696c849af04 Mon Sep 17 00:00:00 2001 From: hallgren Date: Mon, 27 Aug 2012 14:56:10 +0000 Subject: minibar documentation updates --- src/www/minibar/about.html | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) (limited to 'src/www/minibar/about.html') diff --git a/src/www/minibar/about.html b/src/www/minibar/about.html index 8b902051e..82ac96f8d 100644 --- a/src/www/minibar/about.html +++ b/src/www/minibar/about.html @@ -3,6 +3,9 @@ About Minibar + @@ -185,7 +188,9 @@ Some implementation details: the grammar menu. You can also add grammars from several directories on the same server of course. The included minibar configuration file adds the user's own grammars from the grammar editor. -
  • [Added 2012-04-02] Word-for-word replacement: when a complete and +
  • + [Added 2012-04-02] Word-for-word replacements: + when a complete and unambiguous sentence has been entered, the words glow blue and when you click on one, possible replacements appear. (Replacements are shown as names of functions in the abstract syntax for now. They should be shown as words @@ -212,7 +217,7 @@ Some implementation details:
    - Last modified: Thu Apr 19 14:28:52 CEST 2012 +Last modified: Mon Aug 27 16:28:25 CEST 2012
    TH -- cgit v1.2.3