From deacb0219575d8e8ae8e6f0fdfb379bfe05aceb0 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Fri, 28 May 2010 16:19:06 +0000
Subject: updated documentation

---
 src/runtime/javascript/minibar/minibar.html | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'src/runtime/javascript/minibar/minibar.html')

diff --git a/src/runtime/javascript/minibar/minibar.html b/src/runtime/javascript/minibar/minibar.html
index ea685fb80..4e5c1f161 100644
--- a/src/runtime/javascript/minibar/minibar.html
+++ b/src/runtime/javascript/minibar/minibar.html
@@ -13,7 +13,8 @@ var my_options= {
   //grammar_list: ["Foods.pgf"],
   show_abstract: true,
   show_trees: true,
-  show_grouped_translations: false
+  show_grouped_translations: false,
+  try_google: true
 }
 </script>
 <meta name = "viewport" content = "width = device-width">
@@ -31,7 +32,7 @@ var my_options= {
 &amp; <a href="http://www.grammaticalframework.org:41296/translate/">Translator</a>]
 </small>
 <small class=modtime>
-HTML <!-- hhmts start --> Last modified: Wed May 26 22:35:48 CEST 2010 <!-- hhmts end -->
+HTML <!-- hhmts start --> Last modified: Fri May 28 18:16:11 CEST 2010 <!-- hhmts end -->
 </small>
 <address>
 <a href="http://www.cs.chalmers.se/~hallgren/">TH</a>
-- 
cgit v1.2.3