fsharp/fsharp — pull request #102 by ovatsus (2013-02-18 16:12:52+00:00)
Title: Portable Profile fixes

Pull request for #100
* Rename target portable-net4+sl4+wp71+win8 to portable-net45+sl5+win8
* Add a real portable-net4+sl4+wp71+win8 target
* Make the wp7 target work again