From 94bb3e91c134e09e194be2f8778ff5def909674d Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Tue, 3 Aug 2010 13:34:29 +0000
Subject: Support files for Movie output

---
 etc/proviola/README | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 etc/proviola/README

(limited to 'etc/proviola/README')

diff --git a/etc/proviola/README b/etc/proviola/README
new file mode 100644
index 00000000..81ba50eb
--- /dev/null
+++ b/etc/proviola/README
@@ -0,0 +1,13 @@
+Experimental work-in-progress on "Movie" output from
+annotated Proof General buffers.
+
+The XSL files here are due to Carst Tankink, copied from the Proviola
+project.  See http://mws.cs.ru.nl/proviola and these papers:
+
+Carst Tankink, Herman Geuvers, James McKinna, Freek Wiedijk
+Proviola: a Tool for Proof Re-animation
+MKM 2010.
+
+Carst Tankink, Herman Geuvers and James McKinna. 
+Narrating Formal Proof (Work in Progress)
+UITP 2010.
-- 
cgit v1.2.3