diff options
Diffstat (limited to 'Build/source/texk')
| -rw-r--r-- | Build/source/texk/README | 4 | ||||
| -rw-r--r-- | Build/source/texk/detex/ChangeLog | 5 |
2 files changed, 7 insertions, 2 deletions
diff --git a/Build/source/texk/README b/Build/source/texk/README index 6a929b57f02..8379fe049cc 100644 --- a/Build/source/texk/README +++ b/Build/source/texk/README @@ -34,8 +34,8 @@ chktex 1.7.6 - checked 15mar20 cjkutils 4.8.4 - checked 18apr15 http://cjk.ffii.org/cjk-4.8.4.tar.gz -detex 2.8.5 - checked 03feb19 - https://github.com/pkubowicz/opendetex +detex 2.8.6 - checked 15mar20 + https://github.com/pkubowicz/opendetex/releases old info: http://www.cs.purdue.edu/homes/trinkle/detex/ dtl - maintained here, by Takuji diff --git a/Build/source/texk/detex/ChangeLog b/Build/source/texk/detex/ChangeLog index e4ee7c93749..687b88a73ff 100644 --- a/Build/source/texk/detex/ChangeLog +++ b/Build/source/texk/detex/ChangeLog @@ -1,3 +1,8 @@ +2020-03-15 Karl Berry <karl@freefriends.org> + + * opendetex-2.8.6 is identical to what we compiled before. + Not even the version number was changed, apparently. + 2019-02-03 Hironobu Yamashita <h.y.acetaminophen@gmail.com> * Import opendetex-2.8.5, TLpatches adapted. |