list_files.xq does not sort correctly

kb-dk / MerMEId

Tool for editing MEI header data

Apache License 2.0

20 stars 14 forks source link

Closed axgeertinger closed 5 years ago

axgeertinger commented 5 years ago

A problem with eXist 4.0 and the old xqueries

axgeertinger commented 5 years ago

Fixed. Also takes into account any suffix after the number.