| Sat, 30 Mar 2019 20:54:47 +0100 | wenzelm | clarified signature: more explicit type Path.binding; | changeset | files |
| Sat, 30 Mar 2019 12:07:31 +0100 | wenzelm | more LaTeX symbols; | changeset | files |
| Fri, 29 Mar 2019 16:53:46 +0100 | wenzelm | tuned signature -- more operations; | changeset | files |