Is there any reason why the messages from the OPS.MIX and OPS.SIDEBAR files start with a capital letter, contrary to the messages from the other OPS files?
-- Vincent Lefèvre <[email protected]> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
