diff options
| author | Hans Hagen <pragma@wxs.nl> | 2018-11-18 16:12:36 +0100 |
|---|---|---|
| committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2018-11-18 16:12:36 +0100 |
| commit | 744095aa4676553437db0d71c281a74557a3222f (patch) | |
| tree | bfdf5d203b5fbfa44ee7db705d3b3475361ad28f /tex/context/base/mkii | |
| parent | e2ee706a3114129601a30908d6b8cbb57068d32c (diff) | |
| download | context-744095aa4676553437db0d71c281a74557a3222f.tar.gz | |
2018-11-18 14:16: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-nl.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 3f7c0e7ef..541ed647d 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.18 00:07} +\newcontextversion{2018.11.18 14:07} %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 d530cd65d..6da22d53c 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.18 00:07} +\edef\contextversion{2018.11.18 14:07} %D For those who want to use this: diff --git a/tex/context/base/mkii/mult-nl.mkii b/tex/context/base/mkii/mult-nl.mkii index a21064a23..e0f445eb2 100644 --- a/tex/context/base/mkii/mult-nl.mkii +++ b/tex/context/base/mkii/mult-nl.mkii @@ -1241,6 +1241,7 @@ \setinterfaceconstant{textstyle}{tekstletter} \setinterfaceconstant{textwidth}{tekstbreedte} \setinterfaceconstant{threshold}{threshold} +\setinterfaceconstant{time}{tijd} \setinterfaceconstant{title}{titel} \setinterfaceconstant{titlecolor}{titelkleur} \setinterfaceconstant{titlecommand}{titelcommando} |