diff options
| author | hallgren <hallgren@chalmers.se> | 2010-05-28 16:19:06 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2010-05-28 16:19:06 +0000 |
| commit | deacb0219575d8e8ae8e6f0fdfb379bfe05aceb0 (patch) | |
| tree | 1a947b81a89a8ceabfc61b357765871a49595de9 /src/runtime/javascript/minibar/minibar.html | |
| parent | 4436a454ef371b75e887c2c2363b0d6e66b95761 (diff) | |
updated documentation
Diffstat (limited to 'src/runtime/javascript/minibar/minibar.html')
| -rw-r--r-- | src/runtime/javascript/minibar/minibar.html | 5 |
1 files changed, 3 insertions, 2 deletions
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= { & <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> |