In the manual it says that the following .ini file will cause the launcher to run Python3.1 for calls of `py` or `py -3`

[defaults]
python=3
python3=3.1

On my Windows 7 machine I have Python2.7-32, Python3.4-64, and Python3.7-64 (installed in that order).

Setting the ini to:

[defaults]
python=3
python3=3.4

results in `py` running 3.7-64 (expected 3.4-64) and `py -3` running 3.4-64.

Setting both to point to 3.4 in the ini will run 3.4-64 for both commands.

The behavior is correct, so the documentation needs fixing.

Which page has that example on it? Is it assuming that you only have 3.1 installed?

https://docs.python.org/3/using/windows.html

Section 3.4.4.2

This line in the docs is incorrect:

    If PY_PYTHON=3 and PY_PYTHON3=3.1, the commands python and python3 
    will both use specifically 3.1

It implies that setting the `python` virtual command to "3" or "2" will use the configured version of the `python3` or `python2` virtual command. As implemented, these three virtual commands are separately configured.

The `python` command is different in one way, since it's also the overall default. If the version set for `python2` or `python3` doesn't match an installed version, that's the end of the search. OTOH, the `python` command will continue to search for any version. For a shebang it prefers "2" over "3", and vice versa for the REPL or a script without a shebang.