calcoq / index.template

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

<a href='lambdavn/'>Lambda Vn</a>, 
<a href=''>Coq blog</a><br>

<h2>Free Calculator</h2>
<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>
    <td nowrap width=200>&nbsp;</td>
    <td rowspan=2 nowrap align=center valign=middle >&nbsp;</td>
   <tr style='background-color: #e5ecf9;'>
    <td nowrap>&nbsp;</td>
   <tr style='background-color: #ffffff;'>
     <td colspan=4 valign=top><textarea style='border-style:none;' cols=73 rows=12 name='formula'>
   <tr><td height=35 valign=middle style='background-color:#e5ecf9;' colspan=4>
       &nbsp;&nbsp;<input type='submit' value='Execution'>
   <tr><td bgcolor='#e5ecf9' colspan=4>&nbsp;Answer
   <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::'>
<div align=right>
Powered by <a href=''><img src='caml.128x58.gif' alt='powered by OCaml' border='0' height='30'/></a>
and <a href=''><img src='barron_logo.png' alt='powered by Coq' border='0' height='40'/></a>.
Original <a href=''>High precision calculator</a><br>
Free CGI server: <a href=''>Zero Web Server</a><br>
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
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.