64 "change" here and there in the library are now simplify/unfold as they

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

<?php
 require($argv[1]);
 $rc = query($argv[2]);
 $a = array_values($rc[0]); 
 print($a[0]);
?>