Anonymous avatar Anonymous committed c9819f6

tm

Comments (0)

Files changed (1)

 <html>
 <meta http-equiv='Content-Type' content='text/html; charset=EUC_JP'>
 <head>
- <title>Free Calculator</title>
+ <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>Free Calculator</h2>
+<h2>Arbitrary Precision Calculator (by Coq)</h2>
 <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;' 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'>
 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>
+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.