minuzione finali

Ho sostituito gli ultimi "Emacs" sfuggiti con "\emacs"; "Dicembre" → "dicembre"; Linux → GNU/Linux; ho corretto un bad box; altre piccole correzioni di forma. Ho redistribuito il testo in molti capoversi usando `M-q'. Per ignorare queste modifiche nel log di git puoi usare l'opzione `--color-words' di `git log' o `git diff'. .gitignore: aggiungo `.fls', raccolgo tutti i file di backup sotto `*~'.
GuITeX · Mar 11, 2013 · 92e716c · 92e716c
1 parent ac5d913
commit 92e716c
Show file tree

Hide file tree

Showing 5 changed files with 138 additions and 138 deletions.
diff --git a/.gitignore b/.gitignore
@@ -15,6 +15,7 @@
 *.tar.gz
 *-blx.bib
 *.fdb_latexmk
+*.fls
 #
 # file pdf finale (binario)
 #
@@ -26,6 +27,4 @@ auto/*
 #
 # file di backup
 #
-*.tex~
-*.bib~
-*.org~
+*~
diff --git a/figure/preferenze_skim.png b/figure/preferenze_skim.png
diff --git a/figure/splash.png b/figure/splash.png
diff --git a/figure/sumatrapdf.png b/figure/sumatrapdf.png