I've installed the ASP.NET and Web Tools 2013.1 for Visual Studio 2012 as directed in this post: How do I install ASP.NET MVC 5 in Visual Studio 2012?
I have started a new Mvc 5 project, but I can't find the Microsoft.Web.Mvc namespace or dll. I've checked all the packages under C:\Program Files (x86)\Microsoft ASP.NET\ASP.NET Web Stack 5\Packages and it's not there either. From the MSDN website it seemed as if it should be already included in Mvc 5 if you look here: https://msdn.microsoft.com/en-us/library/microsoft.web.mvc(v=vs.118).aspx
Is it only included in VS 2013 or is there something else I must install?