Thanks to Jay at Digilent, the chipKIT WF32 now has an awesome and very useful pin diagram. Note that this diagram is no match for the WF32 Reference Manual; however, used in combination, these two files make getting to know your WF32 board a snap! In addition, two other documentation-type resources that provide even more details about your board include the board definition file and the schematic for each board. Check out Digilent’s blogpost for more details!
If you have ever wondered why some example sketches “know” what PIN_LED1 means, then you’ll be glad to know that it’s not magic. PIN_LED1 is an example of a shortcut in the board definition file, a file for each board that contains detailed information about the pins on each board. Check out Jay’s Instructable for how to find and use the board definition files on Mac OS X and Windows.