mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-21 00:39:37 +00:00
compiler/notes/*: Update a few more files. Remove some files which were duplicates of the information in the manuals, to avoid double maintenance problem.