Modifiche da Mirko per avere comandi che generano un HTML piu' bello per i
authorSimone Piccardi <piccardi@gnulinux.it>
Thu, 3 Apr 2003 14:33:25 +0000 (14:33 +0000)
committerSimone Piccardi <piccardi@gnulinux.it>
Thu, 3 Apr 2003 14:33:25 +0000 (14:33 +0000)
commit1c92931b0941ab7dc023790cb82b790fd40654c1
treec7203af795e352f8653344aa331f16e7fedc099a
parent7479ee9544b4206a618a72fb6fd864e09e08debb
Modifiche da Mirko per avere comandi che generano un HTML piu' bello per i
listati degli esempi.
ChangeLog
gapil.tex