| Wed, 26 Feb 2014 10:53:19 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 26 Feb 2014 10:45:06 +0100 | wenzelm | suppress completion of obscure keyword, avoid confusion with plain "simp"; | changeset | files |
| Wed, 26 Feb 2014 10:40:13 +0100 | wenzelm | method language markup, e.g. relevant to prevent outer keyword completion; | changeset | files |