index.html


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

<!DOCTYPE html>
<html>
    <head>
        <title>Coq commands counter</title>
    </head>
    <body>
        <textarea id="input" cols="60" rows="20"></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');
        });
        </script>
    </body>
</html>