diff options
| author | Camil Staps | 2015-05-08 13:02:09 +0300 |
|---|---|---|
| committer | Camil Staps | 2015-05-08 13:02:09 +0300 |
| commit | f714efc1b0b88ec5041c1acb5405e0dc34553815 (patch) | |
| tree | bea85a9c544e0ebc064199e83b3a3398d59e624a /index.html | |
| parent | This seems to work (diff) | |
Bugfix; licensing; copyright & contact details; readme
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 11 |
1 files changed, 9 insertions, 2 deletions
@@ -4,14 +4,21 @@ <title>Coq commands counter</title> </head> <body> - <textarea id="input" cols="60" rows="20"></textarea><br/> + <h1>Count commands used in a Coq script</h1> + <p>Copyright © 2015 <a href="http://www.camilstaps.nl/">Camil Staps</a> - licensed under <a href="LICENSE">MIT</a>.</p> + + <textarea id="input" cols="60" rows="20">Enter Coq script here</textarea><br/> <textarea id="output" cols="60" rows="2"></textarea> <script type="text/javascript" src="//code.jquery.com/jquery-1.11.3.min.js"></script> <script type="text/javascript" src="coqCounter.js"></script> <script type="text/javascript"> $(function(){ - $('#input').coqCounter('#output'); + $('#input') + .coqCounter('#output') + .focus(function(){ + $(this).val(''); + }); }); </script> </body> |