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= { & Translator] -HTML Last modified: Fri Apr 30 16:48:36 CEST 2010 +HTML Last modified: Wed May 26 14:08:57 CEST 2010
TH