The ML507 Schematic shows a different pin out for the SWx (see page 10 http://www.xilinx.com/support/documentation/boards_and_kits/ml50x_schematics.pdf) switches compared to the Switch schematic: http://www.xilinx.com/products/boards/ml505/datasheets/SeriesTL3301Tact.pdf.
Which one is correct?
There is a difference in pinout between the schematics and the switch schematic. The switch schematic is correct. The reason for the difference is due to the silkscreen on the board; while the pin numbers look incorrect, they are actually connected correctly on the board.
The ML50X Schematic:
The TACT Switch Schematic:
This has been resolved in the 7 Series board schematics.
7 Series Schematic Example: