diff options
| author | Camil Staps | 2015-05-08 13:13:55 +0300 |
|---|---|---|
| committer | Camil Staps | 2015-05-08 13:13:55 +0300 |
| commit | c8488ad75699fa1358006c0be0aac4c1ba4b9c41 (patch) | |
| tree | c30ca6c31ece0373117dcd84b833e572fb5741a1 | |
| parent | Bugfix; licensing; copyright & contact details; readme (diff) | |
Demo
| -rw-r--r-- | README.md | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -3,3 +3,6 @@ Count used coq commands # Usage Simply open `index.html` in your browser. A working internet connection is required, since jQuery is loaded from CDN. + +# Demo +http://cs.camilstaps.nl/files/2014-2015/NWI-IPI004/CoqCommandsCounter/ |