anchor.diff:  
   <!-- CSS
       ================================================== -->
  -<link rel="stylesheet" href="stylesheets/plain-base.css">
  -<link rel="stylesheet" href="stylesheets/plain-skeleton.css">
  -<link rel="stylesheet" href="stylesheets/layout.css">
  -<link rel="stylesheet" href="stylesheets/plain-evalb.css">
  -<link rel="stylesheet" href="stylesheets/plain-codemirror.css">
  -<link rel="stylesheet" href="stylesheets/themes/red.css">
  -<link rel="stylesheet" href="stylesheets/themes/green.css">
  +<link rel="stylesheet"
  +	href="css/stylesheets_<%=de.prob.web.TimeStamp.TIME%>/plain-base.css">
  +<link rel="stylesheet"
  +	href="css/stylesheets_<%=de.prob.web.TimeStamp.TIME%>/skeleton.css">
  +<link rel="stylesheet"
  +	href="css/stylesheets_<%=de.prob.web.TimeStamp.TIME%>/layout.css">
  +<link rel="stylesheet"
  +	href="css/stylesheets_<%=de.prob.web.TimeStamp.TIME%>/evalb.css">
  +<link rel="stylesheet"
  +	href="css/stylesheets_<%=de.prob.web.TimeStamp.TIME%>/plain-codemirror.css">
  +<link rel="stylesheet"
  +	href="css/stylesheets_<%=de.prob.web.TimeStamp.TIME%>/themes/red.css">
  +<link rel="stylesheet"
  +	href="css/stylesheets_<%=de.prob.web.TimeStamp.TIME%>/themes/green.css">
   
   
   <!--[if lt IE 9]>
  
positive.code: 	<!-- JS
        ================================================== -->
  	<!-- <script src="http://code.jquery.com/jquery-1.7.1.min.js"></script> -->
  	<script src="javascripts/tabs.js"></script>
  	<script src="javascripts/jquery-1.7.2.min.js"></script>
  	<script src="javascripts/codemirror.js"></script>
  	<script src="javascripts/hover.js"></script>
  	<script src="examples.js"></script>
  	<script src="javascripts/prob.js"></script>
  
  	<!-- End Document
    ================================================== -->
  
negative.code: 				<option value="tautology">Universal
  					(Checking)</option>
  			</select>
  			<b>Formalism</b>
  			<select size="1" id="formalism" name="formalism"
  				class="styled-select" onchange="switch_formalism()">
  				<option value="classicalb" selected="selected">B Method</option>
  				<option value="tla">TLA+</option>
  			</select>
  			<b>Examples</b>
  			<select size="1" id="examples" name="examples" class="styled-select"
  				onchange="load_example()">
  