| Sun, 22 Jan 2023 21:07:25 +0100 | wenzelm | proper signature; | changeset | files |
| Sun, 22 Jan 2023 20:40:51 +0100 | wenzelm | support specific connection types, for additional operations; | changeset | files |
| Fri, 20 Jan 2023 22:47:55 +0100 | wenzelm | more correct and complete bibliography; | changeset | files |
| Fri, 20 Jan 2023 21:56:34 +0100 | wenzelm | tuned signature; | changeset | files |
| Fri, 20 Jan 2023 21:52:29 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 20 Jan 2023 21:35:49 +0100 | wenzelm | proper position for semantic completion: avoid duplicate quotes; | changeset | files |
| Fri, 20 Jan 2023 21:28:47 +0100 | wenzelm | clarified signature; | changeset | files |
| Fri, 20 Jan 2023 21:19:11 +0100 | wenzelm | clarified signature; | changeset | files |