Thu Mar 13 12:05:13 UTC 2014  Johnny Willemsen  <jwillemsen@remedy.nl>

        * config/pin_base.mpb:
        * config/pintool.mpb:
        * config/winapp.mpb:
          Added vc12

        * registry.pl:
          Added vc11 and vc12



git-svn-id: svn://svn.dre.vanderbilt.edu/DOC/MPC/trunk@2195 a3e5c962-4219-0410-a828-e124f845ac39