Grazie per il tuo aiuto. Sono fortunatissimo. La versione del Texnic center è Beta 6.0.1, l’adobe è 8.0. Ma il problema ce l’ho anche con la versione precedente. Nelle modifiche di Enrico, quando faccio correre il documento, ora non riconosce più i miei file delle figure né l’estensione…
Riguardo al grassetto, non c’è nell’output. Io l’ho aggiunto qui:
\usepackage{amsmath,amsthm}
\makeatletter
\renewcommand{\proofname}{\textbf{Dimostrazione}} <-----
\newenvironment{pf}
{\protected@edef\theparentequation{\theequation}%
\setcounter{parentequation}{\value{equation}}%
\setcounter{equation}{0}%
\renewcommand{\theequation}{\arabic{equation}}%
\begin{proof}}
{\end{proof}\setcounter{equation}{\value{parentequation}}}
\makeatother
Rinnovo in miei ringraziamenti. Sarete contemplati nei ringraziamenti della mia tesi, per quanto possa valere...
Fabio