title: Where are the symbols for ASP.NET MVC 4.0 RTM?
body: <p>I'm trying to configure Visual Studio 2012 to allow me to step into ASP.NET MVC 4.0 source code. (<code>System.Web.Mvc.dll</code>). I've followed <a href="http://www.symbolsource.org/Public/Home/VisualStudio" rel="noreferrer">SymbolSource's recommended configuration</a> but when I try to load the symbols, Visual Studio can't locate them.</p>
  
  <blockquote>
    <p><strong>Recommended configuration</strong></p>
    
    <p>To configure Visual Studio for symbol/server
    use, follow these instructions:</p>
    
    <ol>
    <li>Go to Tools -> Options -> Debugger -> General.</li>
    <li>Uncheck “Enable Just My Code (Managed only)”.</li>
    <li>Uncheck “Enable .NET Framework source stepping”.
    Yes, it is misleading, but if you don't, then Visual Studio will
    ignore your custom server order (see further on).</li>
    <li>Check “Enable source
    server support”.</li>
    <li>Uncheck “Require source files to exactly match the
    original version”</li>
    <li>Go to Tools -> Options -> Debugger -> Symbols.
    Select a folder for the local symbol/source cache.</li>
    <li>Add symbol servers
    under “Symbol file (.pdb) locations”. Pay attention to the correct
    order, because some servers may contain symbols for the same binaries:
    with or without sources. We recommend the following setup:
    
    <ul>
    <li><a href="http://referencesource.microsoft.com/symbols" rel="noreferrer">http://referencesource.microsoft.com/symbols</a></li>
    <li><a href="http://srv.symbolsource.org/pdb/Public" rel="noreferrer">http://srv.symbolsource.org/pdb/Public</a> or the authenticated variant
    (see above)</li>
    <li><a href="http://srv.symbolsource.org/pdb/MyGet" rel="noreferrer">http://srv.symbolsource.org/pdb/MyGet</a> or the authenticated
    variant (see above) (other symbol servers with sources)</li>
    <li><a href="http://msdl.microsoft.com/download/symbols" rel="noreferrer">http://msdl.microsoft.com/download/symbols</a> (other symbol servers
    without sources)</li>
    </ul></li>
    </ol>
  </blockquote>
  
  <p>I am aware that the source code is available <a href="http://aspnetwebstack.codeplex.com" rel="noreferrer">on CodePlex</a>, however I'm specifically interested in stepping into the code using a symbol server instead of having to unreference Mvc from the GAC and reference a locally built assembly.</p>
  
  <p>Has anyone had success doing this with MVC 4.0?</p>