diff options
Diffstat (limited to 'src/runtime/javascript')
| -rw-r--r-- | src/runtime/javascript/minibar/minibar.html | 4 |
1 files 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= { & <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> |