duplicate words removed from .doc files
consistent use of upper-case letters within enumeration
typo: sch(e)matic
consistens use of 'schema' (and not 'scheme') within a single .doc file
typo: a(n) HOL
more duplicate words removed from .doc files
missing dot added
typo: use '\ie' LaTeX macro instead of 'ie'
make non-script files in src/ non-executable
'make clean' should also remove auto-generated 'theorems.tex'

Otherwise 'git status' displays it as 'untracked'.
duplicate words removed from various documentation files

The magic command is:

grep " \([[:alpha:]]\+\) \1[[:space:]]" \
  `find . -name "*.doc" -or -name "*.tex"`

but the output still needs to be filtered by eye, since many duplicates
occur in embedded math and ML.

Duplicates in the Italian manual approved by Domenico Masini.
consistent use of "well-founded(ness)" instead of "wellfounded(ness)"

It was quite unfortunate to mix both forms (i.e. with and without
hyphen) within a single WF_REL_TAC.doc page.
minor fixes to hidden chapter of the manual
underscore in BibTeX keys means trouble: do not use it
no separate BibTeX database for Italian translation of the manual
BibTeX database cleanup

The cleanup follows the advices of two tools: bibcheck and bibclean.
consistent punctuation in all 'Preface' chapters
PDF title metadata added to manuals
use LaTeX quotes ``...'' instead of "..."
Merge pull request #193 from ptroja/master

Fixed pull request