Update fr.po

[features.git] / lib / layouts / theorems-ams.inc

diff --git a/lib/layouts/theorems-ams.inc b/lib/layouts/theorems-ams.inc
index bff8ca9aa36579f36f4d6fe6af3644f6d73c38ee..9718b2fe68b44c87b0d908634362544b2092f16b 100644 (file)
--- a/lib/layouts/theorems-ams.inc
+++ b/lib/layouts/theorems-ams.inc
@@ -20,7 +20,7 @@
 # - Proof
 # - Case (by inclusion)
 
-Format 90
+Format 95
 
 OutlinerName thm "Definitions & Theorems"