projects
/
gapil.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Finita semop.
[gapil.git]
/
intro.tex
diff --git
a/intro.tex
b/intro.tex
index fcf632d2028a315f8daa0075a57315d1931b520c..1fce94301774708b4ebb7dbb7b211f331acd7b6a 100644
(file)
--- a/
intro.tex
+++ b/
intro.tex
@@
-331,6
+331,7
@@
dove si possono recuperare varie (e di norma piuttosto intricate) informazioni
\begin{table}[htb]
\begin{table}[htb]
+ \footnotesize
\centering
\begin{tabular}[c]{|l|l|l|l|}
\hline
\centering
\begin{tabular}[c]{|l|l|l|l|}
\hline