calcoq / index.template

<html>
<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='/'>Home</a>

<h1>CalCoq</h1>
<p>Arbitrary Precision Calculator (by Coq)</p>
<center>
<br>
<form action='/cgi-bin/calcoq/index.cgi' method='post' name='calc'>
<table border=0 cellspacing=0 cellpadding=0>
 <tr><td valign=top>
  <table border=1 cellpadding=1 cellspacing=1 bgcolor=#7597dd id='free' width=650>
   <tr style='background-color: #e5ecf9;'>
    <td rowspan=2 valign=middle nowrap width=200>&nbsp;<b>Expression</b>&nbsp;</td>
    <td nowrap width=200>&nbsp;Digit number<select name='precision'>
     <option value='inf' selected>infinity</option>
    </select></td>
    <td nowrap width=200>&nbsp;</td>
    <td rowspan=2 nowrap align=center valign=middle >&nbsp;</td>
   </tr>
   <tr style='background-color: #e5ecf9;'>
    <td nowrap>&nbsp;</td>
    <td>&nbsp;</td>
   </tr>
   <tr style='background-color: #ffffff;'>
     <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>
       ::result::
   </td></tr>
  </table>
 </td></tr>
</table>
</form>
</center>
<br>
<div align=right>
Powered by <a href='http://caml.inria.fr/'>OCaml</a>
and <a href='http://coq.inria.fr/'>Coq</a>.
</div><br>

<!-- 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>
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.