From 353eb61703f64f6d0f520720fdb0d08a1cf727c3 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 11 Dec 2015 16:54:22 +0100
Subject: coqdoc + interactive graph browsing
It is still rough, but better than nothing.
---
htmldoc/libgraph.html | 244 ++++++++++++++++++++++++++++++++++++++++++++++++++
1 file changed, 244 insertions(+)
create mode 100644 htmldoc/libgraph.html
(limited to 'htmldoc/libgraph.html')
diff --git a/htmldoc/libgraph.html b/htmldoc/libgraph.html
new file mode 100644
index 0000000..909e13c
--- /dev/null
+++ b/htmldoc/libgraph.html
@@ -0,0 +1,244 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ Nodes and clusters can be dragged around and clicked.
+ When a node/cluster is clicked its links are highlighted
+ and a contextual menu pops up. Clusters can be collapsed.
+