私はVisual Studio 2010 - SP1で作業しています
ボックスに ASP.NET MVC 4.0 RC をインストールしました。ASP.NET MVC 4.0 Web アプリケーション プロジェクト タイプの新しいプロジェクトを作成するときに、すべてのプロジェクト テンプレート (空のアプリケーション、Web API、インターネット アプリ、イントラネット アプリ) に [HTML5 セマンティック マークアップを使用する] オプションがありません。
RC をインストールする前に asp.net mvc 4 ベータ版をインストールしていないことを思い出してください。ただし、このオプションは、asp.net mvc 3.0 Web アプリケーションを作成するときに存在します。