test branch

[helm.git] / helm / matita / scripts / shell_adder.php

diff --git a/helm/matita/scripts/shell_adder.php b/helm/matita/scripts/shell_adder.php
new file mode 100755 (executable)
index 0000000..a13005e
--- /dev/null
+++ b/helm/matita/scripts/shell_adder.php
@@ -0,0 +1,6 @@
+<?php
+ require($argv[1]);
+ $rc = query($argv[2]);
+ $a = array_values($rc[0]); 
+ print($a[0]);
+?>