 |
|
|
|
.. (parent) |
 |
- |
rw-r--r-- |
20,417 |
ChangeLog
|
|
- |
rwxr-xr-x |
1,181 |
README.txt
|
|
- |
rwxr-xr-x |
315 |
compila_gawk.sh
|
|
- |
rwxr-xr-x |
266 |
compila_pma.sh
|
|
- |
rw-r--r-- |
27,123 |
epsf.tex
|
|
- |
rw-r--r-- |
15,358 |
gawk-api-figura1.eps
|
|
- |
rw-r--r-- |
1,677 |
gawk-api-figura1.fig
|
|
- |
rw-r--r-- |
9,120 |
gawk-api-figura1.pdf
|
|
- |
rw-r--r-- |
5,747 |
gawk-api-figura1.png
|
|
- |
rw-r--r-- |
1,160 |
gawk-api-figura1.txt
|
|
- |
rw-r--r-- |
14,788 |
gawk-api-figura2.eps
|
|
- |
rw-r--r-- |
1,002 |
gawk-api-figura2.fig
|
|
- |
rw-r--r-- |
11,596 |
gawk-api-figura2.pdf
|
|
- |
rw-r--r-- |
5,768 |
gawk-api-figura2.png
|
|
- |
rw-r--r-- |
614 |
gawk-api-figura2.txt
|
|
- |
rw-r--r-- |
14,989 |
gawk-api-figura3.eps
|
|
- |
rw-r--r-- |
1,146 |
gawk-api-figura3.fig
|
|
- |
rw-r--r-- |
11,914 |
gawk-api-figura3.pdf
|
|
- |
rw-r--r-- |
5,734 |
gawk-api-figura3.png
|
|
- |
rw-r--r-- |
638 |
gawk-api-figura3.txt
|
|
- |
rw-r--r-- |
18,961 |
gawk-flusso-elaborazione.eps
|
|
- |
rw-r--r-- |
1,263 |
gawk-flusso-elaborazione.fig
|
|
- |
rw-r--r-- |
9,672 |
gawk-flusso-elaborazione.pdf
|
|
- |
rw-r--r-- |
6,300 |
gawk-flusso-elaborazione.png
|
|
- |
rw-r--r-- |
516 |
gawk-flusso-elaborazione.txt
|
|
- |
rw-r--r-- |
8,019 |
gawk-programma-generico.eps
|
|
- |
rw-r--r-- |
733 |
gawk-programma-generico.fig
|
|
- |
rw-r--r-- |
5,313 |
gawk-programma-generico.pdf
|
|
- |
rw-r--r-- |
4,151 |
gawk-programma-generico.png
|
|
- |
rw-r--r-- |
181 |
gawk-programma-generico.txt
|
|
- |
rw-r--r-- |
4,046 |
gawk-vettore-elementi.eps
|
|
- |
rw-r--r-- |
913 |
gawk-vettore-elementi.fig
|
|
- |
rw-r--r-- |
7,009 |
gawk-vettore-elementi.pdf
|
|
- |
rw-r--r-- |
1,032 |
gawk-vettore-elementi.png
|
|
- |
rw-r--r-- |
192 |
gawk-vettore-elementi.txt
|
|
- |
rw-r--r-- |
72,547 |
gawk.1
|
|
- |
rw-r--r-- |
2,043,449 |
gawk.texi
|
|
- |
rw-r--r-- |
2,371 |
gawkbug.1
|
|
- |
rwxr-xr-x |
17,961 |
gendocs.sh
|
|
- |
rwxr-xr-x |
3,814 |
gendocs_template
|
|
- |
rwxr-xr-x |
251 |
genera_formati.sh
|
|
- |
rw-r--r-- |
295 |
lflashlight-small.xpic
|
|
- |
rw-r--r-- |
4,081 |
lflashlight.eps
|
|
- |
rw-r--r-- |
922 |
lflashlight.pdf
|
|
- |
rw-r--r-- |
125 |
margini.texi
|
|
- |
rwxr-xr-x |
6,094 |
pm-gawk.1
|
|
- |
rw-r--r-- |
78,795 |
pm-gawk.texi
|
|
- |
rw-r--r-- |
359 |
rflashlight-small.xpic
|
|
- |
rw-r--r-- |
4,125 |
rflashlight.eps
|
|
- |
rw-r--r-- |
929 |
rflashlight.pdf
|
|
- |
rw-r--r-- |
382,666 |
texinfo.tex
|
|
- |
rw-r--r-- |
2,791 |
txi-it.tex
|
