diff options
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. |