diff options
| author | hallgren <hallgren@chalmers.se> | 2010-05-26 15:48:06 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2010-05-26 15:48:06 +0000 |
| commit | 296463fc05384e91fe5a704d8b7fe9382d32f834 (patch) | |
| tree | 619c12f3e0c4de145968340f873b0e099f50cec5 | |
| parent | 231c63aa419dfb442a9225126bca064b5287666f (diff) | |
Enable display of abstract syntax in minibar
| -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> |