diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-03 13:34:29 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-03 13:34:29 +0000 |
| commit | 94bb3e91c134e09e194be2f8778ff5def909674d (patch) | |
| tree | 31d5f8ca2c602db7c9d8378d22402943f32c556f /etc/proviola/README | |
| parent | 9f8a026e13f358bb5565f21afe23f449c801d259 (diff) | |
Support files for Movie output
Diffstat (limited to 'etc/proviola/README')
| -rw-r--r-- | etc/proviola/README | 13 |
1 files changed, 13 insertions, 0 deletions
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. |