diff options
| author | hallgren <hallgren@chalmers.se> | 2011-02-18 14:51:06 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-02-18 14:51:06 +0000 |
| commit | 27f4ad15e3a2b611048bb623098f3a1195eedfbb (patch) | |
| tree | 2b352c85955a91dfcf1a7f4f8e3f059589066c1e | |
| parent | a74a0ae980ec35156c3e8089f971d133cf0d6caf (diff) | |
gfse: fix typos
| -rw-r--r-- | src/editor/simple/about.html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/editor/simple/about.html b/src/editor/simple/about.html index 9ad725eca..2bcf686b5 100644 --- a/src/editor/simple/about.html +++ b/src/editor/simple/about.html @@ -133,9 +133,9 @@ Error checks: <h3>Testing grammars</h3> -By pressing the <strong>Upload</strong> button, -a grammars can be uploaded to the GF server. -I will then be compiled with GF, and any errors not checked by the editor +By pressing the <strong>Upload</strong> button, a grammar can be uploaded to +the GF server. +It will then be compiled with GF, and any errors not checked by the editor will be detected and reported. If the grammar is free from errors, the user can test the grammar by clicking on links to the online GF shell, the Minibar or the Translation Quiz. @@ -157,7 +157,7 @@ to be accessed from multiple devices. <hr> <div class=modtime><small> -<!-- hhmts start --> Last modified: Fri Feb 18 15:18:05 CET 2011 <!-- hhmts end --> +<!-- hhmts start --> Last modified: Fri Feb 18 15:50:10 CET 2011 <!-- hhmts end --> </small></div> <address> <a href="http://www.cse.chalmers.se/~hallgren/">TH</a> |