calcoq / index.template

<html>
<meta http-equiv='Content-Type' content='text/html; charset=EUC_JP'>
<head>
 <title>Arbitrary Precision Calculator</title>
</head>

<body>
<a href='lambdavn/'>Lambda Vn</a>, 
<a href='http://d.hatena.ne.jp/yoshihiro503/'>Coq blog</a><br>

<h2>Arbitrary Precision Calculator (by Coq)</h2>
<center>
<br>
<form action='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;' cols=73 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::'>
   </td></tr>
  </table>
 </td></tr>
</table>
</form>
</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>.
</div><br>
Original: <a href='http://keisan.casio.com/has10/Free.cgi'>High precision calculator</a><br>
Free CGI server: <a href='http://0web.cjb.net'>Zero Web Server</a><br>
</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.