diff --git a/res/fLessons/13-10-15.tex b/res/fLessons/13-10-15.tex
index 497c238..3318ed4 100644
--- a/res/fLessons/13-10-15.tex
+++ b/res/fLessons/13-10-15.tex
@@ -141,21 +141,22 @@ \subsection{BSD}
 
 \subsubsection{DARPA}
 
-Nel 1957 si ha il lancio dello sputnik1 da parte dell'URSS nello spazio. Gli americani, nel 1958 fondano l'ARPA (poi rinominata DARPA), in cui venivano sviluppati UNIX e MULTICS.
+Nel 1957 si ha il lancio dello Sputnik1 da parte dell'URSS nello spazio. Gli americani, nel 1958 fondano l'ARPA (poi rinominata DARPA), in cui venivano sviluppati UNIX e MULTICS.
 
 Nel 1963 nasce il progetto MAC\footnote{Multiple Access Computer, Machine Aided Cognitions}, sovvenzionato con due milioni di dollari dal DARPA. Gli obiettivi iniziali del progetto MAC erano quelli di rendere possibile l'affitto di potenza computazionale con la creazione di sistemi affidabili come quelli per la distribuzione di energia elettrica.
 
 \paragraph*{Multics} Primo sistema operativo Hight Availability. \begin{itemize}
 
 \item Sviluppato da MIT, General Eletric e Bell Lab
-\item Struttura modulare: possibile aumentare le prestazione del sistema semplicemente aggiungendo una ulteriore unit\`a (CPU, memoria, storage etc)
+\item Struttura modulare: possibile aumentare le prestazioni del sistema semplicemente aggiungendo una ulteriore unit\`a (CPU, memoria, storage etc)
 \item Riconfigurazione on-line
 \item Linkaggio dinamico, filesystem gerarchico etc
 
 \end{itemize}
 
-Multics caus\`o un fallimento commenrciale per via dell'estrema complessit\`a del sistema.
+Multics caus\`o un fallimento commerciale per via dell'estrema complessit\`a del sistema.
 
 \paragraph*{Unix} Nel 1969 AT\&T si toglie dal progetto Multics. Dennis Richie e Ken Thompson desiderano continuare la ricerca sulle idee di Multics. Viene creata quindi una versione pi\`u leggera, compatibile con macchine pi\`u piccole, chiamata \textit{UNIX}. Nel 1972 Unix viene riscritto in C, per avere una maggiore portabilit\`a e maggiore facilit\`a di sviluppo. Nell'Ottobre del 1973 un articolo fa espandere la popolarit\`a di Unix.
 Con il monopolio telefonico di AT\&T Unix viene distribuito liberamente, con la possibilit\`a di far liberamente delle modifiche (con codice sorgente). Nel 1977 John Lion pubblica il codice sorgente commentato di Unix, che causa un incremento dell'insegnamento di UNIX all'universit\`a, nonostante il tentativo di AT\&T di bloccare ci\`o. Conseguentemente, due anni dopo, AT\&T annuncia una restrizione sulla redistribuzione di Unix, che implicava sia una restrizione a livello commerciale sia una restrizione sulla possibilit\`a didattica nell'utilizzo di Unix.
-Nel 1973 John Fabris dell'universit\`a di Berkeley assiste al talk su Unix al SOSP, che decide di fare un dual boot in una sua macchina. Nel 1975 vengono acquistate due nuove macchine Unix, indicandolo come distribuzione preferita. Berkeley ha bisogno di un certo supporto ai suoi sistemi, e nel 1975 Chuck Haley e Bill Joy arrivano a Berkeley, cominciando lo viluppo di un compilatore e editor per Pascal. Quello che diede una spinta decisiva a BSD fu che DARPA decide di muovrere la loro DARPANET su UNIX. Nel 1980 i fondi di DARPA vengono usati per il miglioramento di BSD UNIX, che rilascia 4BSD. In tutto questo, AT\&T annuncia di voler commercializzare Unix ed entra in conflitto con BSD. Nel 1983 Unix viene completamente commercializzato, con licenze sui sorgenti molto costose, in particolare per il TCP. In tutto ci\`o BSD cerca di liberare la dipendenza da AT\&T, che viene coronata con NET2. BSD386, distribuzione completa basata su NET2 e a stampo commerciale nasce in quell'anno, facendo scaturire una causa tra Unix System Laboratories (USL), BSDI e Berkeley, finita con la vittoria di BSDI.
+
+Nel 1973 John Fabris dell'universit\`a di Berkeley assiste al talk su Unix al SOSP, e decide di fare un dual boot in una sua macchina. Nel 1975 vengono acquistate altre due nuove macchine Unix. Berkeley ha bisogno di un certo supporto ai suoi sistemi, e nel 1975 Chuck Haley e Bill Joy arrivano a Berkeley, cominciando lo viluppo di un compilatore e editor per Pascal. Quello che diede una spinta decisiva a BSD fu che DARPA decide di muovrere la loro DARPANET su UNIX. Nel 1980 i fondi di DARPA vengono usati per il miglioramento di BSD UNIX, che rilascia 4BSD. In tutto questo, AT\&T annuncia di voler commercializzare Unix ed entra in conflitto con BSD. Nel 1983 Unix viene completamente commercializzato, con licenze sui sorgenti molto costose, in particolare per il TCP. In tutto ci\`o BSD cerca di liberare la dipendenza da AT\&T, che viene coronata con NET2. BSD386, distribuzione completa basata su NET2 e a stampo commerciale nasce in quell'anno, facendo scaturire una causa tra Unix System Laboratories (USL), BSDI e Berkeley, finita con la vittoria di BSDI.