cambia
Código PHP:
<?
if(isset($proc)) {
print ("el valor ingresado es $texto");
}
por esto:
Código PHP:
<?php
if($_POST["proc"]) {
echo "el valor ingresado es ".$_POST["texto"];
}
busca informacion sobre $_POST, $_GET, $_SESSION, $_SEVER, $_COOKIE
suerte!!! ;)