Add english named commands

w2ak · Feb 26, 2019 · f8a488a · f8a488a
1 parent 994fb46
commit f8a488a
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/fiches.sty b/fiches.sty
@@ -478,3 +478,18 @@
 	#1{}
 	\blankitem{#2}
 }
+
+%==============
+% Allow english names for commands
+%==============
+\let\property=\propriete
+\let\lemma=\lemme
+\let\corollary=\corollaire
+\let\theorem=\theoreme
+\let\formula=\formule
+\let\method=\methode
+\let\hypothesis=\hypothese
+\let\example=\exemple
+\let\hint=\indication
+\let\remark=\remarque
+\let\optional=\facultatif