index.html


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

<!DOCTYPE html>
<html>
    <head>
        <title>Coq commands counter</title>
    </head>
    <body>
        <h1>Count commands used in a Coq script</h1>
        <p>Copyright &copy; 2015 <a href="http://www.camilstaps.nl/">Camil Staps</a> - licensed under <a href="LICENSE">MIT</a>. See <a href="https://github.com/camilstaps/CoqCommandsCounter">GitHub</a> for details.</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')
                .focus(function(){
                    $(this).val('');
                });
        });
        </script>
    </body>
</html>