Re: [Dev-luatex] (fwd) Bug#441595: not all libraries are customized, there is room for improvement

2009/12/19 Hans Hagen :

yes but how does it check if the libs are functionally the same?

APIs are versioned and checked by the loader. http://en.wikipedia.org/wiki/Dynamic_library#Dynamic_linking It works. Mostly. Best Martin