Red Hat Linux




Red Hat Linux, Red Hat Enterprise Linux, Fedora sono distribuzioni Linux tra loro legate per ragioni di sviluppo, vediamo meglio in dettaglio ciascuna delle tre:














































Red Hat Linux

Red hat.png
Screenshot di Red Hat Linux 9
Sviluppatore Red Hat Inc.
Famiglia SO GNU/Linux

Release corrente
9.0 alias Shrike (31 marzo 2003)
Tipo di kernel Linux

Piattaforme supportate

IA-32, x86-64
Tipologia licenza Software libero
Licenza Varie
Stadio di sviluppo Concluso
Successore
Fedora e Red Hat Enterprise Linux
Sito web
www.redhat.com

Red Hat Linux, creata dalla Red Hat, è stata una distribuzione Linux, cioè un sistema operativo basato su GNU/Linux, sviluppata dal 1995 al 2004. I suoi successori sono: Red Hat Enterprise Linux orientato alle esigenze delle aziende e dotato di supporto commerciale, e Fedora dotato di software più recente e sviluppato dalla comunità di volontari. Il celebre gestore di pacchetti RPM, adottato da diverse distribuzioni come Suse e Mandriva, fu sviluppato appositamente per Red Hat Linux e originariamente chiamato appunto Red Hat Package Manager.














































Red Hat Enterprise Linux

RHEL-7-gnome 2014-06-11 17 06 46.png
Red Hat Enterprise Linux 7 con GNOME 3
Sviluppatore Red Hat, Inc.
Famiglia SO GNU/Linux

Release corrente
7.4 (1º agosto 2017)
Tipo di kernel
Monolitico (Linux)

Piattaforme supportate

IA-32, AMD64; Architettura Power; IBM ESA/390; IBM z/Architecture
Tipologia licenza Software libero
Licenza Varie licenze libere più blob binari
Stadio di sviluppo Stabile
Successore
Fedora e Red Hat Enterprise Linux
Sito web
www.redhat.com
e
it.redhat.com


Red Hat Enterprise Linux (RHEL) è una distribuzione GNU/Linux, sviluppata da Red Hat e progettata per il mercato business, successiva alla distribuzione Red Hat Linux. Red Hat Enterprise Linux e' rilasciato, come versione server, per le piattaforme x86-64, Power Architecture, ARM64 ed IBM Z e, come versione desktop, per x86-64. Tutte le attivita' di supporto ed addestramento, oltre al programma di certificazione Red Hat, si concentrano sulla piattaforma Red Hat Enterprise Linux. Red Hat Enterprise Linux è spesso abbreviato in RHEL.


La distribuzione Red Hat Enterprise Linux segue cronologicamente quella di Red Hat Linux ed è affiancata da Fedora, un'alternativa "free-of-cost" a Red Hat Enterprise Linux, pure derivata da Red Hat Linux, sviluppata dalla comunita' di volontari che supporta il progetto Fedora.


























































Fedora

Logo

Fedora 23 Workstation.png
Fedora 23 Workstation, con GNOME 3.18
Sviluppatore Fedora Project
Famiglia SO GNU/Linux

Release iniziale
Fedora Core 1 (5 novembre 2003)

Release corrente
Fedora 29 (30 ottobre 2018)
Tipo di kernel
Kernel monolitico (Linux 4.17)

Piattaforme supportate

i686, x86-64, ARM-hfp, ARM AArch64, IBM Power64, IBM Power64le, IBM Z, MIPS-64el, MIPS-el[1]
Gestore dei pacchetti
DNF (prima yum)
Tipologia licenza Software libero
Licenza GNU/GPL
Stadio di sviluppo stabile
Predecessore Fedora 28
Successore Fedora 30
Sito web
www.redhat.com
e
it.redhat.com


Fedora (pronuncia: fɨˈdɒr.ə, in precedenza Fedora Core) è una distribuzione GNU/Linux curata dal Progetto Fedora, un progetto Open Source sponsorizzato (ma non direttamente supportato) da Red Hat. E' invece supportato dalla community Fedora.




Indice






  • 1 L'interfaccia utente


  • 2 Acquisizione di Red Hat


  • 3 Storia e versioni di Red Hat Linux


  • 4 Caratteristiche di Red Hat Linux


  • 5 Storia e versioni di Red Hat Enterprise Linux


  • 6 Riepilogo delle versioni Red Hat Enterprise Linux e distribuzione temporale


  • 7 Caratteristiche di Red Hat Enterprise Linux


  • 8 Storia e versioni di Fedora


  • 9 Relazioni con Fedora


    • 9.1 Riepilogo delle versioni Fedora e distribuzione temporale




  • 10 Alcune caratteristiche di Fedora


  • 11 Note


  • 12 Voci correlate


  • 13 Altri progetti


  • 14 Collegamenti esterni





L'interfaccia utente |


Nell'Ottobre 2018, Red Hat ha dichiarato che KDE non sara' piu' supportata nei successivi aggiornamenti di Red Hat Enterprise Linux[2]. La diretta conseguenza di questa scelta e' una crescita dell'importanza di GNOME. Entrembe le interfacce utenti conferiscono agli ambienti Linux desktop come minimo quelle caratteristiche ormai irrinunciabili per lavorare con i computers: finestre, icone, mouse, puntatore



Acquisizione di Red Hat |


E' stata annunciata l'acquisizione di Red Hat da parte di IBM per una cifra indicativa di 33 miliardi di dollari[3].



Storia e versioni di Red Hat Linux |


La prima versione di Red Hat Linux fu distribuita a Maggio del 1995[4] (Si considera qui la versione non "Beta"). L'ultima versione di Red Hat Linux è la versione 9, nome in codice Shrike, del 31 Marzo 2003.


Nel 2003, Red Hat ha interrotto lo sviluppo e la distribuzione di Red Hat Linux in favore di Red Hat Enterprise Linux (RHEL) per gli ambienti aziendali (il gia' citato mercato business) e di Fedora, per un uso più vicino a quello domestico.


Vengono nel seguito riepilogate alcune delle versioni di Red Hat Linux rilasciate nel tempo.

























































































































































































































Versione
Tipo
Data di rilascio
Note
N/a

(Preview)


Test
29 Luglio 1994
1.1.8 (dev)
Red Hat Linux 0.9

(Halloween)


Beta
31 October 1994
1.0.9 (stabile)

1.1.54 (dev)



Red Hat Linux 1

(Mother's Day)


Stabile
Maggio 1995
1.2.8
Red Hat Linux 1.1 (Mother's Day+0.1)
Bug fix
Agosto 1995
1.2.11

1.2.13



Red Hat Linux 2

(-)


Stabile
Settembre 1995
1.2.13-2
Red Hat Linux 2.1

(Bluesky)


Bug fix
23 Novembre 1995
1.2.13 (stabile)

1.3.32 (dev)



Red Hat Linux 3.0.3

(Picasso)


Stabile
1 Maggio 1996
1.2.13
Red Hat Linux 3.9

(Rembrandt)


Beta
Luglio-Agosto 1996
2.0

Red Hat Linux 4

(Colgate)


Stabile
3 Ottobre 1996
2.0.18
Red Hat Linux 4.1

(Vanderbilt)


Bug fix
3 Febbraio 1997
2.0.27
Red Hat Linux 4.2

(Biltmore)


Stabile
19 Maggio 1997
2.0.30-2
Red Hat Linux 4.8

(Thunderbird)


Beta
27 Agosto 1997
?
Red Hat Linux 4.9

(Mustang)


Beta
7 Novembre 1997
?

Red Hat Linux 5

(Hurricane)


Stabile
1 Dicembre 1997
2.0.32-2
Red Hat Linux 5.1

(Manhattan)


Stabile
22 Maggio 1998
2.0.34-0.6
Red Hat Linux 5.2

(Apollo)


Stabile
2 Novembre 1998
2.0.36-0.7
Red Hat Linux 5.9

(Starbuck)


Beta
17 Marzo 1999
?

Red Hat Linux 6

(Hedwig)


Stabile
26 Aprile 1999
2.2.5-15
Red Hat Linux 6.0.50

(Lorax)


Beta
6 Settembre 1999
?

Red Hat Linux 6.1

(Cartman)


Stabile
4 Ottobre 1999
2.2.12-20
Red Hat Linux 6.1.92

(Piglet)


Beta
9 Febbraio 2000
?

Red Hat Linux 6.2

(Zoot)


Stabile
3 Aprile 2000
2.2.14-5.0
Red Hat Linux 6.9.5

(Pinstripe)


Beta
31 Luglio 2000
?

Red Hat Linux 7

(Guinness)


Stabile
25 Settembre 2000
2.2.16-22
Red Hat lLinux 7.0.91

(Wolverine)


Beta
21 Febbraio 2001
?

Red Hat Linux 7.1

(Seawolf)


Stabile
16 Aprile 2001
2.4.2-2
Red Hat Linux 7.1.93

(Roswell)


Beta
2 Agosto 2001
?

Red Hat Linux 7.2

(Enigma)


Stabile
22 Ottobre 2001
2.4.7-10
Red Hat Linux 7.2.91

(Skipjack)


Beta
22 March 2002
?

Red Hat Linux 7.3

(Valhalla)


Stabile
6 Maggio 2002
2.4.18-3
Red Hat Linux 7.3.29

(Limbo)


Beta
4 Luglio 2002
?

Red Hat Linux 8

(Psyche)


Stabile
30 Settembre 2002
2.4.18-14

Red Hat Linux 9

(Shrike)


Stabile
31 Marzo 2003
2.4.20-8
Red Hat Linux 9.0.93

(Severn)


Beta
21 Luglio 2003
Non è nota la versione del kernel che verra' utilizzato. Rilascio finale di Red Hat Linux. Sara' fuso con Fedora Linux per formare il rilascio di Fedora Core 1 test 2, version 0.94.


Caratteristiche di Red Hat Linux |


Red Hat è stata la prima distribuzione ad utilizzare il formato RPM (Red-Hat Package Manager) come sistema di gestione dei pacchetti. Nel tempo è servita come punto di partenza per molte altre distribuzioni. Oggigiorno il ricorso al RPM non e' sufficiente perche' occorre rispettare le dipendenze che un pacchetto in formato rpm ha nei confronti di altri pacchetti. Questo e' un problema noto di tutte le distribuzioni Linux. RPM e' quindi utilizzato in abbinamento a YUM.


Le novità principali della distribuzione Red Hat sono due:



  1. La più importante riguarda la commercializzazione del prodotto che rappresentò la possibilità di diffondere il software red hat anche ad altri destinatari che non erano stati presi in considerazione in precedenza.

  2. Riguarda la struttura degli aggiornamenti della distribuzione. Come spiega lo stesso «inventore», Marc Ewing: «Prima della comparsa di Red Hat nessuno aveva mai pensato all'aggiornamento di ogni nuova distribuzione di GNU/Linux; ogni volta bisognava reinstallare ed era un notevole svantaggio. Anche l'aggiornamento incrementale della macchina era un'operazione difficile».


Vi sono ulteriori caratteristiche di Red Hat Linux meritevoli di essere qui riportate.


A partire da Red Hat Linux 7.0 e' stato per esempio abilitato il supporto UTF-8 come metodo di codifica dei caratteri per il sistema.


A partire dal Red Hat Linux 9.0 e' stato abilitato il supporto per la Native POSIX Thread Library





Storia e versioni di Red Hat Enterprise Linux |


Non c'è mai stata una Red Hat Enterprise Linux 1. Nel Marzo del 2002 è uscita Red Hat Enterprise Linux 2.1 corrispondente alla Red Hat Linux 7.2. Nel Marzo 2003 è uscita invece la versione 9 di Red Hat Linux corrispondente alla Red Hat Enterprise Linux 3. Le successive versioni sono state rinumerate di conseguenza.


Vengono nel seguito riepilogate le versioni di Red Hat Enterprise Linux rilasciate nel tempo. Si tenga presente che per ciascuna di esse sono stati rilasciati anche degli aggiornamenti, detti "Update", che ne hanno prolungato via via l'uso. In particolare le versioni 6 e 7 sono alla data tuttora supportate. Per la versione 7, nata nel 2014, è di recente uscito l' "Update 6" (30 Ottobre '18).















































Versione
Data di rilascio
Note
Red Hat Enterprise Linux 2.1 AS (Pensacola)
26 Marzo, 2002
Usa il Linux kernel 2.4.9-e.3

Dal 2003 al 2005 sono state rilasciate le seguenti versioni intermedie:



  • Update 1, Febbraio 14, 2003; 15 anni fa (kernel 2.4.9-e.12)

  • Update 2, Maggio 29, 2003; 15 anni fa (kernel 2.4.9-e.24)

  • Update 3, Dicembre 19, 2003; 15 anni fa (kernel 2.4.9-e.34)

  • Update 4, Aprile 21, 2004; 14 anni fa (kernel 2.4.9-e.40)

  • Update 5, Agosto 18, 2004; 14 anni fa (kernel 2.4.9-e.49)

  • Update 6, Dicembre 13, 2004; 14 anni fa (kernel 2.4.9-e.57)

  • Update 7, Aprile 28, 2005; 13 anni fa

  • Red Hat Enterprise Linux 2.1 ES (Panama), Maggio 2003[E' necessaria una citazione]


Red Hat Enterprise Linux 3 (Taroon)
22 Ottobre, 2003
Usa il Linux kernel 2.4.21-4

Dal 2004 al 2007 sono state rilasciate le seguenti versioni intermedie:



  • Update 1, Gennaio 16, 2004; 15 anni fa (kernel 2.4.21-9)

  • Update 2, Maggio 12, 2004; 14 anni fa (kernel 2.4.21-15)

  • Update 3, Settembre 3, 2004; 14 anni fa (kernel 2.4.21-20)

  • Update 4, Dicembre 12, 2004; 14 anni fa (kernel 2.4.21-27)

  • Update 5, Maggio 18, 2005; 13 anni fa (kernel 2.4.21-32)

  • Update 6, Settembre 28, 2005; 13 anni fa (kernel 2.4.21-37)

  • Update 7, Marzo 17, 2006; 12 anni fa (kernel 2.4.21-40)

  • Update 8, Luglio 20, 2006; 12 anni fa (kernel 2.4.21-47)

  • Update 9, Giugno 15, 2007; 11 anni fa (kernel 2.4.21-50)


Red Hat Enterprise Linux 4 (Nahant)
15 Febbraio, 2005
Usa il Linux kernel 2.6.9-5

Dal 2005 al 2011 sono state rilasciate le seguenti versioni intermedie:



  • 4.1, anche chiamata Update 1, Giugno 8, 2005; 13 anni fa (kernel 2.6.9-11)

  • 4.2, anche chiamata Update 2, Ottobre 5, 2005; 13 anni fa (kernel 2.6.9-22)

  • 4.3, anche chiamata Update 3, Marzo 12, 2006; 12 anni fa (kernel 2.6.9-34)

  • 4.4, anche chiamata Update 4, Agosto 10, 2006; 12 anni fa (kernel 2.6.9-42)

  • 4.5, anche chiamata Update 5, Maggio 1, 2007; 11 anni fa (kernel 2.6.9-55)

  • 4.6, anche chiamata Update 6, Novembre 15, 2007; 11 anni fa (kernel 2.6.9-67)

  • 4.7, anche chiamata Update 7, Luglio 29, 2008; 10 anni fa (kernel 2.6.9-78)

  • 4.8, anche chiamata Update 8, Maggio 19, 2009; 9 anni fa (kernel 2.6.9-89)

  • 4.9, anche chiamata Update 9, Febbraio 16, 2011; 7 anni fa (kernel 2.6.9-100)


Red Hat Enterprise Linux 5 (Tikanga)
15 Marzo, 2007
Usa il Linux kernel 2.6.18-8

Dal 2007 al 2014 sono state rilasciate le seguenti versioni intermedie:



  • 5.1, anche chiamata Update 1, Novembre 7, 2007; 11 anni fa (kernel 2.6.18-53)

  • 5.2, anche chiamata Update 2, Maggio 21, 2008; 10 anni fa (kernel 2.6.18-92)

  • 5.3, anche chiamata Update 3, Gennaio 20, 2009; 10 anni fa (kernel 2.6.18-128)

  • 5.4, anche chiamata Update 4, Settembre 2, 2009; 9 anni fa (kernel 2.6.18-164)

  • 5.5, anche chiamata Update 5, Marzo 30, 2010; 8 anni fa (kernel 2.6.18-194)

  • 5.6, anche chiamata Update 6, Gennaio 13, 2011; 8 anni fa (kernel 2.6.18-238)

  • 5.7, anche chiamata Update 7, Luglio 21, 2011; 7 anni fa (kernel 2.6.18-274)

  • 5.8, anche chiamata Update 8, Febbraio 20, 2012; 6 anni fa (kernel 2.6.18-308)

  • 5.9, anche chiamata Update 9, Gennaio 7, 2013; 6 anni fa (kernel 2.6.18-348)

  • 5.10, anche chiamata Update 10, Ottobre 1, 2013; 5 anni fa (kernel 2.6.18-371)

  • 5.11, anche chiamata Update 11, Settembre 16, 2014; 4 anni fa (kernel 2.6.18-398)

  • 5.11+, Extended Life-cycle Support (ELS) Start Date Marzo 31, 2017; 21 mesi fa
    • aka added ELS entitlement until ELS end Date Novembre 30, 2020; 21 months' time



Red Hat Enterprise Linux 6 (Santiago)
10 Novembre, 2010
Usa il Linux kernel 2.6.32-71

Red Hat Enterprise Linux 6 è stata ottenuta come "fork" da Fedora 12 e contiene molte caratteristiche di Fedora 13 e 14 di cui ne è stato fatto il "backport".


Dal 2011 al 2018 sono state rilasciate le seguenti versioni intermedie:



  • 6.1, anche chiamata Update 1, Maggio 19, 2011; 7 anni fa (kernel 2.6.32-131)

  • 6.2, anche chiamata Update 2, Dicembre 6, 2011; 7 anni fa (kernel 2.6.32-220)

  • 6.3, anche chiamata Update 3, Giugno 20, 2012; 6 anni fa (kernel 2.6.32-279)

  • 6.4, anche chiamata Update 4, Febbraio 21, 2013; 5 anni fa (kernel 2.6.32-358)

  • 6.5, anche chiamata Update 5, Novembre 21, 2013; 5 anni fa (kernel 2.6.32-431)

  • 6.6, anche chiamata Update 6, Ottobre 13, 2014; 4 anni fa (kernel 2.6.32-504)

  • 6.7, anche chiamata Update 7, Luglio 22, 2015; 3 anni fa (kernel 2.6.32-573)

  • 6.8, anche chiamata Update 8, Maggio 10, 2016; 2 anni fa (kernel 2.6.32-642)

  • 6.9, anche chiamata Update 9, Marzo 21, 2017; 22 mesi fa (kernel 2.6.32-696)

  • 6.10, anche chiamata Update 10, Giugno 19, 2018; 7 mesi fa (kernel 2.6.32-754)

  • 6 ELS +, Extended Life-cycle Support (ELS) Start Date Novembre 30, 2020; 21 months' time
    • aka added ELS entitlement until ELS end Date Giugno 30, 2024; 5 years' time



Red Hat Enterprise Linux 7.0 (Maipo)
10 Giugno, 2014
Usa il Linux kernel 3.10.0-123

Red Hat Enterprise Linux 7 (Maipo) e' basata su Fedora 19, l'upstream Linux kernel 3.10, systemd 208 (aggiornato a 219 in RHEL 7.2), e GNOME 3.8 (basato su GNOME 3.28 in RHEL 7.6) La prima versione "Beta" è stata annunciata l'11 Dicembre 2013, e la "release candidate" è stata resa disponibile il 15 Aprile 2014. Il rilascio ufficiale di Red Hat Enterprise Linux 7 è avvenuto il 10 Giugno 2014.


Dal 2015 al 2018 sono state rilasciate le seguenti versioni intermedie:



  • 7.1, anche chiamata Update 1, Marzo 5, 2015; 3 anni fa
    • kernel 3.10.0-229


  • 7.2, anche chiamata Update 2, Novembre 19, 2015; 3 anni fa

    • kernel 3.10.0-327

    • systemd updated to 219

    • GNOME rebased to 3.14



  • 7.3, anche chiamata Update 3, Novembre 3, 2016; 2 anni fa
    • kernel kernel 3.10.0-514


  • 7.4, anche chiamata Update 4, Agosto 1, 2017; 18 mesi fa

    • kernel kernel 3.10.0-693

    • GNOME rebased to 3.22



  • 7.5, anche chiamata Update 5, Aprile 10, 2018; 9 mesi fa

    • kernel 3.10.0-862

    • GNOME rebased to 3.26



  • 7.6, anche chiamata Update 6, Ottobre 30, 2018; 3 mesi fa

    • kernel 3.10.0-957

    • GNOME rebased to 3.28




Red Hat Enterprise Linux 8

La versione "Beta" di Red Hat Enterprise Linux 8 è stata pubblicamente annunciata il 14 Novembre, 2018. E basata su Fedora 28, l'upstream Linux kernel 4.18, e GNOME 3.28.


Riepilogo delle versioni Red Hat Enterprise Linux e distribuzione temporale |






Caratteristiche di Red Hat Enterprise Linux |


I sistemi Unix, da cui Linux deriva, esistono da decadi. Per questo motivo nuovi strumenti, comandi e funzionalita' del sistema operativo sono stati introdotti cosi' come vecchi strumenti, comandi e funzionalita' hanno perso di importanza. Un classico esempio e' il comando "vi", il noto "visual editor" degli ambienti Unix, a lungo utilizzato da irriducibili amministratori di sistema, oggi molto meno impiegato.


Le caratteristiche di Red Hat Enterprise Linux che andranno ad essere pian piano descritte in questo paragrafo riguardano:


Il Networking.


La Sicurezza.


L'impiego dei Linux Containers, Kubernetes, dell'Intelligenza Artificiale, di Blockchain quali esempi di strumenti e funzionalita' innovative del sistema


L'Amministrazione del sistema


L'Amministrazione dei file systems e dello Storage in generale





Storia e versioni di Fedora |



Relazioni con Fedora |


Red Hat Linux fu originariamente sviluppato esclusivamente all' interno della Red Hat con il solo feedback raccolto dagli utenti che giungevano con bugs e contributi rispettivamente da correggere o da includere nei pacchetti software. Questo e' cambiato nel corso del 2003 quando Red Hat Linux è stato fuso con il progetto Fedora, basato sull'omonima comunità.



Riepilogo delle versioni Fedora e distribuzione temporale |








Alcune caratteristiche di Fedora |


DNF e' un nuovo gestore dei pacchetti RPM che, per via delle migliori prestazioni, sostituisce YUM.





Note |




  1. ^ Architectures, Fedora Project. URL consultato il 2 dicembre 2015.


  2. ^ RHEL 7.6 Release Notes, su access.redhat.com.


  3. ^ IBM to acquire Red HAT, su wsj.com.


  4. ^ [fedoraproject.org History of Red Hat Linux] Controllare il valore del parametro url (aiuto).



Voci correlate |



  • CentOS

  • Linux

  • Red Hat

  • Fedora (informatica)



Altri progetti |



Altri progetti


  • Wikimedia Commons



  • Collabora a Wikimedia CommonsWikimedia Commons contiene immagini o altri file su Red Hat Linux


Collegamenti esterni |






  • (EN) Sito ufficiale, su redhat.com. Modifica su Wikidata


  • Sito ufficiale, su it.redhat.com. Modifica su Wikidata


  • Sito di segnalazione bug, su bugzilla.redhat.com. Modifica su Wikidata


.mw-parser-output .navbox{border:1px solid #aaa;clear:both;margin:auto;padding:2px;width:100%}.mw-parser-output .navbox th{padding-left:1em;padding-right:1em;text-align:center}.mw-parser-output .navbox>tbody>tr:first-child>th{background:#ccf;font-size:90%;width:100%}.mw-parser-output .navbox_navbar{float:left;margin:0;padding:0 10px 0 0;text-align:left;width:6em}.mw-parser-output .navbox_title{font-size:110%}.mw-parser-output .navbox_abovebelow{background:#ddf;font-size:90%;font-weight:normal}.mw-parser-output .navbox_group{background:#ddf;font-size:90%;padding:0 10px;white-space:nowrap}.mw-parser-output .navbox_list{font-size:90%;width:100%}.mw-parser-output .navbox_odd{background:#fdfdfd}.mw-parser-output .navbox_even{background:#f7f7f7}.mw-parser-output .navbox_center{text-align:center}.mw-parser-output .navbox .navbox_image{padding-left:7px;vertical-align:middle;width:0}.mw-parser-output .navbox+.navbox{margin-top:-1px}.mw-parser-output .navbox .mw-collapsible-toggle{font-weight:normal;text-align:right;width:7em}.mw-parser-output .subnavbox{margin:-3px;width:100%}.mw-parser-output .subnavbox_group{background:#ddf;padding:0 10px}









































InformaticaPortale Informatica

Software liberoPortale Software libero



Popular posts from this blog

Terni

A new problem with tex4ht and tikz

Sun Ra