1 files changed, 3 insertions, 0 deletions

diff --git a/README.md b/README.md
index 742886c..9fc66c9 100644
--- a/README.md
+++ b/README.md
@@ -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/