some documentation updates and fixes

doc/Makefile: add a rule to regenerate gf-help-full.txt
gf-help-full.txt: updated (new parse tree visualization options)
demo & cloud index: clarifications
minibar documentation: better layout on mobile devices
GF 3.4 release notes: reorganized & updated

7 files changed, 55 insertions, 21 deletions

diff --git a/demos/index.html b/demos/index.html
index 7684e9344..61992ddd1 100644
--- a/demos/index.html
+++ b/demos/index.html
@@ -22,15 +22,13 @@ Phrasebook</a>
 
 <p><a href="../src/www/TransQuiz/translation_quiz.html">Translation Quiz</a>
 
-<P><a href="minibar/minibar.html">Minibar
-online</A>
- | <small><a href="minibar/minibar_offline.html">Minibar offline</a></small>
-
-<p><a href="http://www.grammaticalframework.org/~hallgren/Talks/GF/Tutorial2012/Ex4/answer.html">Question answering demo</a> for simple math questions.
-<P>
+<P><a href="http://cloud.grammaticalframework.org/minibar/minibar.html">Minibar</A>
+<!-- | <small><a href="../src/www/minibar/minibar_offline.html">Minibar offline</a></small> -->
+(<small>Predecessors:
 <a href="http://www.grammaticalframework.org:41296/fridge">Fridge poetry</A>
- | <a href="http://www.grammaticalframework.org:41296/translate">Word-completing translator</A>
+ | <a href="http://www.grammaticalframework.org:41296/translate">Word-completing translator</A></small>)
 
+<p><a href="http://www.grammaticalframework.org/~hallgren/Talks/GF/Tutorial2012/Ex4/answer.html">Question answering demo</a> for simple math questions.
 <P>
 <A HREF="http://www.youtube.com/watch?v=1bfaYHWS6zU">Tramdemo on YouTube</A>: 
 find your way in Gothenburg public transport system, in six languages (film).
diff --git a/doc/Makefile b/doc/Makefile
index 8d190f5dd..5251cde8b 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -13,6 +13,10 @@ resource:
 	latex resource.tex
 	dvipdf resource.dvi
 
+gf-help-full.txt::
+	{ echo ; echo ; echo ; } > $@
+	echo help -full -t2t | gf -run >> $@
+
 ### Converting SVG logos to PNG, using convert from ImageMagick
 logos:: Logos/gf00.png Logos/gf0.png
 
diff --git a/doc/gf-help-full.txt b/doc/gf-help-full.txt
index bc9c82ccb..cbd6bc068 100644
--- a/doc/gf-help-full.txt
+++ b/doc/gf-help-full.txt
@@ -597,9 +597,10 @@ command (flag -printer):
  js		JavaScript (whole grammar)
  jsgf		JSGF speech recognition format
  lambda_prolog		LambdaProlog (abstract syntax)
+ lp_byte_code		Bytecode for Teyjus (abstract syntax, experimental)
  pgf_pretty		human-readable pgf
  prolog		Prolog (whole grammar)
- prolog_abs		Prolog (abstract syntax)
+ python		Python (whole grammar)
  regexp		regular expression
  slf		SLF speech recognition format
  srgs_abnf		SRGS speech recognition format in ABNF
@@ -1100,7 +1101,7 @@ flag -format.
 
 #TINY
 
-Prints a parse tree the .dot format (the graphviz format).
+Prints a parse tree in the .dot format (the graphviz format).
 The graph can be saved in a file by the wf command as usual.
 If the -view flag is defined, the graph is saved in a temporary file
 which is processed by graphviz and displayed by the program indicated
@@ -1108,10 +1109,26 @@ by the flag. The target format is png, unless overridden by the
 flag -format.
 
 
+- Options:
+
+ | ``-showcat`` | show categories in the tree nodes (default)
+ | ``-nocat`` | don't show categories
+ | ``-showfun`` | show function names in the tree nodes
+ | ``-nofun`` | don't show function names (default)
+ | ``-showleaves`` | show the leaves of the tree (default)
+ | ``-noleaves`` | don't show the leaves of the tree (i.e., only the abstract tree)
+ | ``-old`` | use the old tree visualization algorithm
+
 - Flags:
 
  | ``-format`` | format of the visualization file (default "png")
  | ``-view`` | program to open the resulting file (default "open")
+ | ``-nodefont`` | font for tree nodes (default: Times -- graphviz standard font)
+ | ``-leaffont`` | font for tree leaves (default: nodefont)
+ | ``-nodecolor`` | color for tree nodes (default: black -- graphviz standard color)
+ | ``-leafcolor`` | color for tree leaves (default: nodecolor)
+ | ``-nodeedgestyle`` | edge style between tree nodes (solid/dashed/dotted/bold, default: solid)
+ | ``-leafedgestyle`` | edge style for links to leaves (solid/dashed/dotted/bold, default: dashed)
 
 - Examples:
 
diff --git a/download/release-3.4.t2t b/download/release-3.4.t2t
index 5b74b52c5..7dcb28cec 100644
--- a/download/release-3.4.t2t
+++ b/download/release-3.4.t2t
@@ -9,21 +9,32 @@ December 2012?
 
 See the [download page http://www.grammaticalframework.org/download/index.html].
 
-==New features==
+==What's new==
 
-- New languages in the Resource Grammar Library: Japanese, Chinese
-  [more?].
- (see the [updated synopsis ../lib/doc/synopsis.html]). Improvements for other
- languages, e.g. Latvian, [more?].
-- Some new functionality in the web-based grammar editor, e.g. preliminary
-  support for public grammars.
-- A Simple Translation Tool has been added to the cloud services.
+===GF compiler and run-time library===
 - A new partial evaluator that should provide more efficient grammar
   complilation, and solve problems with stack overflows and overly long
   compilaton times for certain grammars.
+- Better visualization of parse trees (contributed by Peter Ljunglöf).
 - Various other small improvements and bug fixes.
 - [...]
 
+
+===Resource Grammar Library===
+
+- New languages in the Resource Grammar Library: Japanese, Chinese
+  [more?].
+ (see the [updated synopsis ../lib/doc/synopsis.html]).
+- Improvements for other languages, e.g. Latvian, [more?].
+
+
+===GF Cloud services===
+- A Simple Translation Tool (a bilungual document editor) has been added.
+- A syntax tree editor has been added (contributed by John J. Camilleri).
+- Some new functionality in the web-based grammar editor, e.g. preliminary
+  support for public grammars.
+
+
 --------------------
 
 [www.grammaticalframework.org http://www.grammaticalframework.org]
diff --git a/src/www/index.html b/src/www/index.html
index 96071ddd2..1e94659d0 100644
--- a/src/www/index.html
+++ b/src/www/index.html
@@ -9,17 +9,19 @@
 
 <h1><a href="http://www.grammaticalframework.org/"><img src="Logos/gf0.png" alt=""></a><img class=nofloat src="P/gf-cloud.png" alt=""> GF Cloud Service</h1>
 
-<h2>Available Web Applications</h2>
+<h2>Web Applications</h2>
 
 <ul>
   <li><a href="minibar/minibar.html">Minibar</a>
+      (word-completing translation tool)
   <li><a href="syntax-editor/editor.html">Syntax Editor (beta)</a>
   <li><a href="TransQuiz/translation_quiz.html">Translation Quiz</a>
   <li><a href="gfse/">GF online editor for simple multilingual grammars</a>
   <li><a href="translator/">Simple Translation Tool</a>
+      (bilingual document editor)
 </ul>
 
-<h2>Some Documentation</h2>
+<h2>Documentation</h2>
 
 <ul>
   <li><a href="minibar/about.html">About Minibar</a>
diff --git a/src/www/minibar/about.html b/src/www/minibar/about.html
index 9ba25895c..7afa1728e 100644
--- a/src/www/minibar/about.html
+++ b/src/www/minibar/about.html
@@ -3,6 +3,7 @@
 <title>About Minibar</title>
 <link rel=stylesheet type="text/css" href="minibar.css">
 <meta charset="UTF-8">
+<meta name = "viewport" content = "width = device-width">
 <style>
 :target .summary { font-weight: bold; background: white; }
 </style>
@@ -217,7 +218,7 @@ Some implementation details:
 
 <hr>
 <div class=modtime><small>
-<!-- hhmts start -->Last modified: Tue Nov 20 13:41:21 CET 2012 <!-- hhmts end -->
+<!-- hhmts start -->Last modified: Tue Nov 27 15:02:49 CET 2012 <!-- hhmts end -->
 </small></div>
 <address>
 <a href="http://www.cse.chalmers.se/~hallgren/">TH</a>
diff --git a/src/www/minibar/minibar-api.html b/src/www/minibar/minibar-api.html
index 505c5155a..b79e41c56 100644
--- a/src/www/minibar/minibar-api.html
+++ b/src/www/minibar/minibar-api.html
@@ -3,6 +3,7 @@
 <head>
 <title>GF web services API examples</title>
 <meta charset="UTF-8">
+<meta name = "viewport" content = "width = device-width">
 
 <style type="text/css">
 body { background: #eee; }
@@ -249,7 +250,7 @@ the user interface:
 <hr>
 <div class=modtime>
 <small class=modtime>
-HTML <!-- hhmts start -->Last modified: Tue Nov 20 13:44:11 CET 2012 <!-- hhmts end -->
+HTML <!-- hhmts start -->Last modified: Tue Nov 27 15:03:15 CET 2012 <!-- hhmts end -->
 </small>
 </div>