Modifying TLC5940 library for use with Teensy3.1

Hi All,
I am working on a group project using TLC5940s, and 595 shift registers to drive a LOT of RGB LEDs.
Our small scale testing was done using an Arduino Uno and the TLC library found here:
http://code.google.com/p/tlc5940arduino/
This library states that it works on Teensy 2.0, Teensy++ 1.0, and Teensy++ 2.0 and I was wondering if there was any relatively simple way to modify this library to work on a Teensy 3.1. (E.g. just changing pinouts or timers and pinouts).

If there are any relevant links or suggestions on how this code can be modified, that would be awesome, or best yet if someone is willing to modify the library for supporting Teensy 3.1.
Regards.

The Teensy 3.0 and 3.1 use a completely different processor than the UNO so that it is not just the pinouts that are different but the entire architecture such as port names.
It might be worth checking whether such a library has been ported/implemented on the Due but your best bet is to ask on the Teensy forum: PJRC (Teensy) Forum

Pete