5 commits

Author	SHA1	Message	Date
Nikolaj Bjorner	52619b9dbb	pull unstable ... Signed-off-by: Nikolaj Bjorner <nbjorner@hotmail.com>	2015-04-01 14:57:11 -07:00
Nikolaj Bjorner	8f1a235f00	add app.config ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2013-12-27 14:50:04 -08:00
Anh-Dung Phan	e223e386fe	Add binding redirects	2013-12-27 14:38:57 -08:00
Anh-Dung Phan	8accc49386	Add a README for MSF plugin	2013-12-27 11:39:50 -08:00
Anh-Dung Phan	5cc4cc8226	Add MSF plugins	2013-12-27 11:18:10 -08:00