diff options
| author | hallgren <hallgren@chalmers.se> | 2013-04-02 13:49:50 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-04-02 13:49:50 +0000 |
| commit | f26778feb07bacab026f891b461f629c221c1bb8 (patch) | |
| tree | 0395ff79d63c7900001dc11061423b5f8db33d90 /src/www/minibar/about.html | |
| parent | 4e40fd56974e5c6ac095698edc30a6a2e27529d4 (diff) | |
minibar: remember the selected set of target langauges
Diffstat (limited to 'src/www/minibar/about.html')
| -rw-r--r-- | src/www/minibar/about.html | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/www/minibar/about.html b/src/www/minibar/about.html index 4730953c6..7c127fe5f 100644 --- a/src/www/minibar/about.html +++ b/src/www/minibar/about.html @@ -231,11 +231,13 @@ Some implementation details: <li>[Added 2013-04-02] Abstract syntax tree visualizations: click once to show abstract syntax trees without category names. Click again to add category names. + <li>[Added 2013-04-02] Minibar now remembers from one visit to the next + the selected set of target languages for each grammar. </ul> <hr> <div class=modtime><small> -<!-- hhmts start -->Last modified: Tue Apr 2 13:55:59 CEST 2013 <!-- hhmts end --> +<!-- hhmts start -->Last modified: Tue Apr 2 15:49:32 CEST 2013 <!-- hhmts end --> </small></div> <address> <a href="http://www.cse.chalmers.se/~hallgren/">TH</a> |