diff options
| author | Hans Hagen <pragma@wxs.nl> | 2018-10-17 15:43:08 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2018-10-17 15:43:08 +0200 |
| commit | e5f189d9965a70c8f3043c07c7b07d41ef268e93 (patch) | |
| tree | ea192c431e2762fbae01fdd44cb3a48278b06fc0 /tex/context/base/mkii | |
| parent | 9f36318b0e571bcbc93dc2112d01bbf2178ed020 (diff) | |
| download | context-e5f189d9965a70c8f3043c07c7b07d41ef268e93.tar.gz | |
2018-10-17 15:14:00
Diffstat (limited to 'tex/context/base/mkii')
| -rw-r--r-- | tex/context/base/mkii/cont-new.mkii | 2 | ||||
| -rw-r--r-- | tex/context/base/mkii/context.mkii | 2 | ||||
| -rw-r--r-- | tex/context/base/mkii/mult-fr.mkii | 1 |
3 files changed, 3 insertions, 2 deletions
diff --git a/tex/context/base/mkii/cont-new.mkii b/tex/context/base/mkii/cont-new.mkii index 439cdf147..72d476f01 100644 --- a/tex/context/base/mkii/cont-new.mkii +++ b/tex/context/base/mkii/cont-new.mkii @@ -11,7 +11,7 @@ %C therefore copyrighted by \PRAGMA. See mreadme.pdf for %C details. -\newcontextversion{2018.10.08 17:44} +\newcontextversion{2018.10.17 15:06} %D This file is loaded at runtime, thereby providing an %D excellent place for hacks, patches, extensions and new diff --git a/tex/context/base/mkii/context.mkii b/tex/context/base/mkii/context.mkii index 88a4cac8c..922f96320 100644 --- a/tex/context/base/mkii/context.mkii +++ b/tex/context/base/mkii/context.mkii @@ -20,7 +20,7 @@ %D your styles an modules. \edef\contextformat {\jobname} -\edef\contextversion{2018.10.08 17:44} +\edef\contextversion{2018.10.17 15:06} %D For those who want to use this: diff --git a/tex/context/base/mkii/mult-fr.mkii b/tex/context/base/mkii/mult-fr.mkii index 5c94eaf24..69804afcb 100644 --- a/tex/context/base/mkii/mult-fr.mkii +++ b/tex/context/base/mkii/mult-fr.mkii @@ -1241,6 +1241,7 @@ \setinterfaceconstant{textstyle}{styletexte} \setinterfaceconstant{textwidth}{largeurtexte} \setinterfaceconstant{threshold}{threshold} +\setinterfaceconstant{time}{time} \setinterfaceconstant{title}{titre} \setinterfaceconstant{titlecolor}{couleurtitre} \setinterfaceconstant{titlecommand}{titlecommand} |