Editorial changes in pages

This page lists the editorial changes in machine descriptions and in navigation pages. Each page in the site has a timestamp at the bottom left. Date/time can be more recent if page has been modified for purposes which are not editorial (e.g. page format change).

Previous changes were performed in batch and not individually recorded.