diff options
| -rw-r--r-- | index.html | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -5,7 +5,7 @@ </head> <body> <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> + <p>Copyright © 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> @@ -22,4 +22,4 @@ }); </script> </body> -</html>
\ No newline at end of file +</html> |