diff options
Diffstat (limited to 'Doc/ref/ref1.tex')
| -rw-r--r-- | Doc/ref/ref1.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/ref/ref1.tex b/Doc/ref/ref1.tex index c35f1571a8..37fbad7ac7 100644 --- a/Doc/ref/ref1.tex +++ b/Doc/ref/ref1.tex @@ -13,7 +13,7 @@ fact you would probably end up implementing quite a different language. On the other hand, if you are using Python and wonder what the precise rules about a particular area of the language are, you should definitely be able to find them here. -If you would like to see a more formal definitition of the language, +If you would like to see a more formal definition of the language, maybe you could volunteer your time --- or invent a cloning machine :-). |
