summaryrefslogtreecommitdiffstats
path: root/divers/style.txt
diff options
context:
space:
mode:
authorFabrice (iLiburu) <Fabrice.Orgogozo@gmail.com>2011-01-05 10:51:46 +0100
committerFabrice (iLiburu) <Fabrice.Orgogozo@gmail.com>2011-01-05 10:51:46 +0100
commit9b397c6baf243cfab623ede077eff43b67f0d05f (patch)
treebf934a1dd51c9555c9ce0668bb262038b95be28a /divers/style.txt
parent71624bddf4e7e63397a9af8213153bdbdb06a3ba (diff)
downloadgalois-9b397c6baf243cfab623ede077eff43b67f0d05f.tar.gz
galois-9b397c6baf243cfab623ede077eff43b67f0d05f.tar.bz2
galois-9b397c6baf243cfab623ede077eff43b67f0d05f.zip
renommage massif : séparation des fichiers de configuration des chapitres etc.
Diffstat (limited to 'divers/style.txt')
-rw-r--r--divers/style.txt23
1 files changed, 23 insertions, 0 deletions
diff --git a/divers/style.txt b/divers/style.txt
new file mode 100644
index 0000000..8b96692
--- /dev/null
+++ b/divers/style.txt
@@ -0,0 +1,23 @@
+Quelques conventions de style :
+
+La composition des fonctions peut se noter avec \circ (ou ∘ en Unicode
+si ça marche). La fonction identité se note \Id.
+
+? Un lemme peut-il être un énoncé non intermédiaire ?
+
+Faire la chasse aux rats (p. ex. : « on note »
+au lieu de « on note »).
+
+Mettre des notes historiques en fin de chapitre (cf.
+le Ireland et Rosen). Y expliquer un peu où l'on va
+et quels sont les avantages (if any) des points de vue développés.
+
+☡ Attention aux « En particulier » abusifs.
+
+(F.) Quelques soient ↔ (D.) Quels que soient ?
+(On dirait que le second est plus courant ; c'est ce que fait Bourbaki.)
+
+Point à la fin d'une phrase s'achevant par un diagramme ?
+(D.) ne le fait pas dans « categories.tex »
+(F.) il me semble que l'usage est d'en mettre un. (Mais où ?)
+