Commits

Anonymous committed 92efda0

proofcafeへ引越し

  • Participants
  • Parent commits c319b2c

Comments (0)

Files changed (1)

 <meta http-equiv='Content-Type' content='text/html; charset=UTF-8'>
 <head>
  <title>Arbitrary Precision Calculator</title>
+
+<!-- Google Analytics -->
+<script type="text/javascript">
+
+  var _gaq = _gaq || [];
+  _gaq.push(['_setAccount', 'UA-6143321-8']);
+  _gaq.push(['_trackPageview']);
+
+  (function() {
+    var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
+    ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
+    var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
+  })();
+
+</script>
+<!-- Google Analytics -->
 </head>
 
 <body>
-<a href='index.html'>Home</a>,  
-<a href='index.cgi'>Arbitrary Precision Calculator</a>,  
-<a href='lambdavn/'>Lambda Vn</a>, 
-<a href='about.html'>About me</a>
+<a href='/index.html'>Home</a>
 
-<h2>Arbitrary Precision Calculator (by Coq)</h2>
+<h1>CalCoq</h1>
+<p>Arbitrary Precision Calculator (by Coq)</p>
 <center>
 <br>
 <form action='index.cgi' method='post' name='calc'>
     <td>&nbsp;</td>
    </tr>
    <tr style='background-color: #ffffff;'>
-     <td colspan=4 valign=top><textarea style='border-style:none;' cols=73 rows=12 name='formula'>::text::</textarea></td>
+     <td colspan=4 valign=top><textarea style='border-style:none;width:100%;' rows=12 name='formula'>::text::</textarea></td>
    </tr>
    <tr><td height=35 valign=middle style='background-color:#e5ecf9;' colspan=4>
        &nbsp;&nbsp;<input type='submit' value='Execution'>
    </td></tr>
    <tr><td bgcolor='#e5ecf9' colspan=4>&nbsp;Answer
    </td></tr>
-   <tr style='background-color: #ffffff;'><td nowrap valign='top' colspan=4><input size='79' style=' border-style: none;' type='text' id='ans' class='text' value='::result::'>
+   <tr style='background-color: #ffffff;'><td nowrap valign='top' colspan=4>
+       ::result::
    </td></tr>
   </table>
  </td></tr>
 </center>
 <br>
 <div align=right>
-Powered by <a href='http://caml.inria.fr/'><img src='caml.128x58.gif' alt='powered by OCaml' border='0' height='30'/></a>
-and <a href='http://coq.inria.fr/'><img src='barron_logo.png' alt='powered by Coq' border='0' height='40'/></a>.
+Powered by <a href='http://caml.inria.fr/'>OCaml</a>
+and <a href='http://coq.inria.fr/'>Coq</a>.
 </div><br>
-Original: <a href='http://keisan.casio.com/has10/Free.cgi'>High precision calculator</a><br>
-rental CGI server: <a href="http://www.pocket-server.com/welcome/?zsrstwu" target="_blank">Pocket Server</a>
+
+<!-- Google Adsense -->
+<script type="text/javascript"><!--
+google_ad_client = "ca-pub-4153537904762514";
+/* ProofServer用リンクユニット */
+google_ad_slot = "0277579020";
+google_ad_width = 728;
+google_ad_height = 15;
+//-->
+</script>
+<script type="text/javascript"
+src="http://pagead2.googlesyndication.com/pagead/show_ads.js">
+</script>
+<!-- Google Adsense -->
+
 </body>
 </html>