From c8488ad75699fa1358006c0be0aac4c1ba4b9c41 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 8 May 2015 13:13:55 +0300
Subject: Demo

---
 README.md | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'README.md')

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/
-- 
cgit v1.2.3