Removed from repository version.texi that is automatically generated.
Removed from repository version.texi that is automatically generated.


git-svn-id: ae4311e81fe487fd8a88a4e530c43f70d7ab5266@239 af33e3f0-49a3-4c7e-a496-edfa7df5f06c

giuliopaci/SPro,giuliopaci/SPro