* semantic.texi, sem-user.texi: New files, adapted from the Semantic repository.
Attach a file by drag & drop or click to upload