diff options
Diffstat (limited to 'src/editor/simple/about.html')
| -rw-r--r-- | src/editor/simple/about.html | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/editor/simple/about.html b/src/editor/simple/about.html index 5c9f88879..40d9df347 100644 --- a/src/editor/simple/about.html +++ b/src/editor/simple/about.html @@ -137,6 +137,11 @@ Also, is usually easier than creating something new from scratch. (If the abstract syntax is currently open, the new conrete syntax will start out empty.) + <li>When adding a new concrete syntax, you normally pick one of the supported + languages from a list. The language code and the file name is determined + automatically. But you can also pick <em>Other</em> from the list and change + the language code afterwards to add a concrete syntax for a language + that is not in the list. </ul> Error checks: @@ -180,7 +185,7 @@ to be accessed from multiple devices. <hr> <div class=modtime><small> -<!-- hhmts start --> Last modified: Mon Mar 28 16:24:24 CEST 2011 <!-- hhmts end --> +<!-- hhmts start --> Last modified: Fri May 6 17:24:02 CEST 2011 <!-- hhmts end --> </small></div> <address> <a href="http://www.cse.chalmers.se/~hallgren/">TH</a> |