KPathSea bindings for Java

Erik Nijenhuis erik at xerdi.com
Tue Jul 9 14:24:04 CEST 2024


Hi Norman,

On Tue, 2024-07-09 at 13:06 +0100, Norman Gray wrote:
> ...it stands for 'Karl', as in 'Karl's path searching algorithm'
Funny, never would have guessed that. In that case, I'll refactor it to
JEPathSea — JokerErikPathSea ;)

@Karl, if you'd prefer the k to be omitted, please let me know.
Maybe something like TLPathSea would be a more suitable name then. Always open
to suggestions ;)

Regards, Erik



More information about the texhax mailing list.