From 296463fc05384e91fe5a704d8b7fe9382d32f834 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Wed, 26 May 2010 15:48:06 +0000
Subject: [PATCH] Enable display of abstract syntax in minibar

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

diff --git a/src/runtime/javascript/minibar/minibar.html b/src/runtime/javascript/minibar/minibar.html
index 1d80deb53..8682d8f4a 100644
--- a/src/runtime/javascript/minibar/minibar.html
+++ b/src/runtime/javascript/minibar/minibar.html
@@ -11,7 +11,7 @@ var my_options= {
   //server: "http://tournesol.cs.chalmers.se:41296",
   //server: "http://localhost:41296",
   //grammar_list: ["Foods.pgf"],
-  show_abstract: false,
+  show_abstract: true,
   show_trees: true,
   show_grouped_translations: false
 }
@@ -30,7 +30,7 @@ var my_options= {
 &amp; <a href="http://www.grammaticalframework.org:41296/translate/">Translator</a>]
 </small>
 <small class=modtime>
-HTML <!-- hhmts start --> Last modified: Fri Apr 30 16:48:36 CEST 2010 <!-- hhmts end -->
+HTML <!-- hhmts start --> Last modified: Wed May 26 14:08:57 CEST 2010 <!-- hhmts end -->
 </small>
 <address>
 <a href="http://www.cs.chalmers.se/~hallgren/">TH</a>