summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2013-03-27 16:45:09 +0000
committerhallgren <hallgren@chalmers.se>2013-03-27 16:45:09 +0000
commit323982b0ea2662bda3b58f81855ddf150ed4d529 (patch)
treea828da5ae66b5cca8f3a0d06b4a7c53b91f1afa6
parent8b06936c01ec2a19290d78117a40cf4549f55f7c (diff)
minibar: documentation update
-rw-r--r--src/www/minibar/about.html4
1 files changed, 3 insertions, 1 deletions
diff --git a/src/www/minibar/about.html b/src/www/minibar/about.html
index 3a609eb25..5383dd45f 100644
--- a/src/www/minibar/about.html
+++ b/src/www/minibar/about.html
@@ -226,11 +226,13 @@ Some implementation details:
diagrams.
<li>[Added 2013-03-26] Parse tree visualizations: click once to show parse
trees without function names. Click again to add function names.
+ <li>[Added 2013-03-27] Click on a linearization to obtain a table with all
+ variants and forms. Click again to hide the table.
</ul>
<hr>
<div class=modtime><small>
-<!-- hhmts start -->Last modified: Tue Mar 26 15:37:13 CET 2013 <!-- hhmts end -->
+<!-- hhmts start -->Last modified: Wed Mar 27 17:43:38 CET 2013 <!-- hhmts end -->
</small></div>
<address>
<a href="http://www.cse.chalmers.se/~hallgren/">TH</a>