Corretti typo e riscritte alcune frasi

res/fLessons/20-10-15.tex

@@ -1,6 +1,6 @@
 \section{Lezione del 20-10-15}
 
-USL perde la causa, ma si ha un rallentamento della diffusione di BSD e nel 1994 si ha la definitiva chiusura del processo tra Berkeley e Novell. Nello stesso anno viene rilasciato 4.4BSD-Lite, una versione di BSD completamente libero\footnote{Ci furono 2 release, una con funzionalit\`a un pi\`u in cui erano presenti sorgenti AT\&T in cui bisognava pagare licenze aggiuntive}.
+USL perde la causa, ma si ha un rallentamento della diffusione di BSD e nel 1994 si ha la definitiva chiusura del processo tra Berkeley e Novell. Nello stesso anno viene rilasciato 4.4BSD-Lite, una versione di BSD completamente libera\footnote{Ci furono 2 release, una con funzionalit\`a un pi\`u in cui erano presenti sorgenti AT\&T in cui bisognava pagare licenze aggiuntive}.
 
 \subsection{Linux}
 
@@ -10,17 +10,17 @@ \subsubsection{Minix}
 
 \paragraph*{Premesse} John Lions pubblica il codice sorgente commentato di UNIX. Nel 1978-1979 vengono bloccati i commentari di John Lions, e si ha un aumento dei costi delle licenze e restrizioni sull'insegnamento in classe. Questo causa l'interruzione dell'insegnamento di UNIX in molte universit\`a.
 
-\paragraph*{Minix} Andrew Tenenbaum, docente di computer science, decide di scrivere un proprio sistema operativo sulle traccie di Unix, Minix. Minix \`e V7 compatibile, completo di compilatore ed editor. Era pensato per scopi didattici, era rilasciato sotto licenza permissiva e non libera.
+\paragraph*{Minix} Andrew Tenenbaum, docente di Computer Science, decide di scrivere un proprio sistema operativo sulle traccie di Unix: Minix. Minix \`e V7 compatibile, completo di compilatore ed editor. Era pensato per scopi didattici, era rilasciato sotto licenza permissiva e non libera.
 
-\paragraph*{Nascita di Linux} Nel 1990 l'universit\`a di Helsinki installa un MicroVax con Ultix. Linus studia il libro di Tenenbaum, ma non possiede un computer. Nel 1991 Linus viene portato alla conferenza di Stallman e nello stesso anno Linus compra un pc e comincia a scriverci un emulatore di terminale a partire da Minix. Sempre nello stesso anno Linus rilascia Linux 0.0.1\footnote{All'inizio il nome non si chiamava Linux, ma Freax e veniva distribuito sotto licenza proprietaria, in quando non permetteva l'utilizzo commerciale}. Nell'anno successivo, con Linux 0.12 Linus cambia la licenza, adottando la licenza GPL, dando la possibilit\`a a tutti a contribuire, comprese aziende come SUSE. Si ha anche la prima distribuzione Linux: Linux Pro con Yggdrasil\footnote{Un database inizilamente solo per UNIX}. Si ha anche il diverbio tra Tanembaum e Linus. Nel 1994 si arriva alla versione di Linux 1.0.
+\paragraph*{Nascita di Linux} Nel 1990 l'universit\`a di Helsinki installa un MicroVax con Ultix. Linus studia il libro di Tenenbaum, ma non possiede un computer. Nel 1991 Linus viene portato alla conferenza di Stallman e nello stesso anno Linus compra un PC e comincia a scriverci un emulatore di terminale a partire da Minix. Sempre nello stesso anno Linus rilascia Linux 0.0.1\footnote{All'inizio il nome non si chiamava Linux, ma Freax e veniva distribuito sotto licenza proprietaria, in quando non permetteva l'utilizzo commerciale}. Nell'anno successivo, con Linux 0.12 Linus cambia la licenza adottando la licenza GPL, dando la possibilit\`a a tutti a contribuire, comprese aziende come SUSE. Si ha anche la prima distribuzione Linux: Linux Pro con Yggdrasil\footnote{Un database inizilamente solo per UNIX}. Si ha anche il diverbio tra Tanembaum e Linus. Nel 1994 si arriva alla versione di Linux 1.0.
 
 Nel 1993 Mark Ewing fonda RedHat, una distribuzione che viene rilevata da Bob Young e diventa RedHat Software Inc. Nel 1995 nasce RedHat Linux, che diventa la pi\`u diffusa distribuzione Linux, ora a pagamento. Vengono effettuati anche i primi porting di Linux a DEC Alpha e SUN SPARC, mentre nell'anno successivo si ha il supporto per multiprocessore. Nel 2011 si arriva a Linux 3.0 e nel 2015 Linux 4.0.
 
 \subsubsection{Debian}
 
-Distro guidata dalla nuova generazione hacker di Linus. Linux come kernel stava prendendo suo vigore, creando una comunit\`a a se stante allontanandosi dal software libero. La causa di ci\`o fu anche per la causa che si ebbe nel 1988 tra Apple e Microsoft, che impegn\`o lo GNU nella LPF, impedendo che passasse il principio di copyright nella interfaccia grafica. Murdok allora per riavvicinare la comunit\`a Linux a GNU annuncia la sua intenzione di fare una distribuzione completamente libera. Avendo possibilit\`a di focalizzarsi sul progetto, nel 1996 viene rilasciata la versione 1.1, dopo la versione erronea 1.0 del 1995. Con Bruce Perens come nuovo DPL, vengono scritte le Debian Free Software Guidelines, dando un insieme di caratteristiche che le licenze che dovevano avere per essere considerate conformi agli standard del parco software Debian. Su queste guide furono date le future definizioni di Open Source. Venne anche creato l'Open Hardware Certification Program, programma con la quale le aziende potevano certificarsi per essere compatibili con Linux. Il Software in the Public Interest era un ombrello legale tramite cui la Debian diventa un'entit\`a in cui venne riconosciuta dai governi.
+Distro guidata dalla nuova generazione hacker di Linus. Linux come kernel stava prendendo suo vigore, creando una comunit\`a a se stante allontanandosi dal software libero. La causa di ci\`o fu anche per la causa che si ebbe nel 1988 tra Apple e Microsoft, che impegn\`o lo GNU nella LPF, impedendo che passasse il principio di copyright nella interfaccia grafica. Murdok allora per riavvicinare la comunit\`a Linux a GNU annuncia la sua intenzione di fare una distribuzione completamente libera. Avendo possibilit\`a di focalizzarsi sul progetto, nel 1996 viene rilasciata la versione 1.1, dopo la versione erronea 1.0 del 1995. Con Bruce Perens come nuovo DPL vengono scritte le Debian Free Software Guidelines, dando un insieme di caratteristiche che le licenze dovevano avere per essere considerate conformi agli standard del parco software Debian. Su queste guide furono date le future definizioni di Open Source. Venne anche creato l'Open Hardware Certification Program, programma con il quale le aziende potevano certificarsi per essere compatibili con Linux. Il Software in the Public Interest era un ombrello legale tramite cui la Debian diventa un'entit\`a in cui venne riconosciuta dai governi.
 
-\paragraph*{Caratteristiche} Debian presenta il patto sociale, dove si ha un'attenzione maniacale alla qualit\`a, in cui si adotta solo software libero (secondo la DFSG) e gli sviluppi e decisioni sono presi in maniera comunitaria. Data l'impossibilit\`a di adottare solamente software libero, la Debian ha messo a disposizione (anche se non supporta ufficilamente) software non-free (ovvero costituito da software proprietario) e contrib (software libero che per funzionare ha bisogno di software proprietario). Diversi tipi di distribuzioni:
+\paragraph*{Caratteristiche} Debian presenta il patto sociale, dove si ha un'attenzione maniacale alla qualit\`a, in cui si adotta solo software libero (secondo la DFSG) e dove gli sviluppi e decisioni sono presi in maniera comunitaria. Data l'impossibilit\`a di adottare solamente software libero, la Debian ha messo a disposizione (anche se non supporta ufficilamente) software non-free (ovvero costituito da software proprietario) e contrib (software libero che per funzionare ha bisogno di software proprietario). Diversi tipi di distribuzioni:
 \begin{itemize}
 
 \item Stable: versione rilasciata per il pubblico utilizzo.