From 94bb3e91c134e09e194be2f8778ff5def909674d Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 3 Aug 2010 13:34:29 +0000 Subject: Support files for Movie output --- etc/proviola/README | 13 ++++ etc/proviola/movie-pp.rnc | 21 ++++++ etc/proviola/movie.rnc | 12 ++++ etc/proviola/proviola-pp.xsl | 145 ++++++++++++++++++++++++++++++++++++++ etc/proviola/proviola-spp.xsl | 158 ++++++++++++++++++++++++++++++++++++++++++ etc/proviola/proviola.xsl | 151 ++++++++++++++++++++++++++++++++++++++++ 6 files changed, 500 insertions(+) create mode 100644 etc/proviola/README create mode 100644 etc/proviola/movie-pp.rnc create mode 100644 etc/proviola/movie.rnc create mode 100644 etc/proviola/proviola-pp.xsl create mode 100644 etc/proviola/proviola-spp.xsl create mode 100644 etc/proviola/proviola.xsl (limited to 'etc') 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. diff --git a/etc/proviola/movie-pp.rnc b/etc/proviola/movie-pp.rnc new file mode 100644 index 00000000..86ee33eb --- /dev/null +++ b/etc/proviola/movie-pp.rnc @@ -0,0 +1,21 @@ +default namespace = "" + +start = + element movie { + element film { + element frame { + attribute frameNumber { xsd:integer }, + element command { text }, + element response { text }, + element command-pp { part+ }, + element response-pp { part* } + }+ + } + } +part = + element part { + attribute class { classname }, + text + } + +classname = "plain" | "comment" | "obligation" | "label" diff --git a/etc/proviola/movie.rnc b/etc/proviola/movie.rnc new file mode 100644 index 00000000..685ae6fe --- /dev/null +++ b/etc/proviola/movie.rnc @@ -0,0 +1,12 @@ +default namespace = "" + +start = + element movie { + element film { + element frame { + attribute frameNumber { xsd:integer }, + element command { text }, + element response { text } + } + }+ + } diff --git a/etc/proviola/proviola-pp.xsl b/etc/proviola/proviola-pp.xsl new file mode 100644 index 00000000..24ca7839 --- /dev/null +++ b/etc/proviola/proviola-pp.xsl @@ -0,0 +1,145 @@ + + + + + + + + + + + + +
+ 
+    
+      
+        
+        mouseover(
+          
+        )
+        
+        
+        
+          
+          
+            
+          
+          
+          
+        
+          
+      
+    
+
+
+ +
+ 
+        
+        
+        
+        
+
+
+ + + + diff --git a/etc/proviola/proviola-spp.xsl b/etc/proviola/proviola-spp.xsl new file mode 100644 index 00000000..29560167 --- /dev/null +++ b/etc/proviola/proviola-spp.xsl @@ -0,0 +1,158 @@ + + + + + + + + + + + + + + +
+ 
+    
+      
+        
+        mouseover(
+          
+        )
+        
+        
+          
+	    
+          
+          
+	
+      
+    
+
+
+ +
+ 
+        
+        
+
+
+ + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/etc/proviola/proviola.xsl b/etc/proviola/proviola.xsl new file mode 100644 index 00000000..1b6d1359 --- /dev/null +++ b/etc/proviola/proviola.xsl @@ -0,0 +1,151 @@ + + + + + + + + + + + + + +
+ 
+    
+      
+        
+        mouseover(
+          
+        )
+        
+        
+      
+    
+
+
+ +
+ 
+        
+        
+
+
+ + + + + + + + + + + + + + + + + + + + + + + + + + -- cgit v1.2.3