]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/hxsp/tpl/operror.tpl
First version of hxsp (new version of UWOBO implemented in Perl by
[helm.git] / helm / hxsp / tpl / operror.tpl
diff --git a/helm/hxsp/tpl/operror.tpl b/helm/hxsp/tpl/operror.tpl
new file mode 100644 (file)
index 0000000..4dbe1f5
--- /dev/null
@@ -0,0 +1,5 @@
+<html>
+<body>
+{ERROR}
+</body>
+</html>