diff options
Diffstat (limited to 'src/www/minibar/about.html')
| -rw-r--r-- | src/www/minibar/about.html | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/www/minibar/about.html b/src/www/minibar/about.html index cfc367c7c..c30884078 100644 --- a/src/www/minibar/about.html +++ b/src/www/minibar/about.html @@ -217,11 +217,15 @@ Some implementation details: <li>[Added 2012-11-23] Added support for switching back and forth between the minibar and the new syntax tree editor. The default configuration in <code>minibar_online.js</code> shows how to enable it. + <li>[Added 2012-11-29] After pressing the <strong>i</strong> button to view + grammar info, there is now a <strong>More info</strong> button to get + more detailed information about all categories and functions in the + grammar. </ul> <hr> <div class=modtime><small> -<!-- hhmts start -->Last modified: Thu Nov 29 17:02:43 CET 2012 <!-- hhmts end --> +<!-- hhmts start -->Last modified: Thu Nov 29 20:13:55 CET 2012 <!-- hhmts end --> </small></div> <address> <a href="http://www.cse.chalmers.se/~hallgren/">TH</a> |