From bcc8d688ea8ea77979d53b47c149173dbba85bfb Mon Sep 17 00:00:00 2001
From: Joris van der Hoeven <vdhoeven@lix.polytechnique.fr>
Date: Thu, 8 Sep 2011 16:26:58 +0000
Subject: [PATCH] Changes for version 1.0.7.13

---
 about/changes/change-log.en.tm | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/about/changes/change-log.en.tm b/about/changes/change-log.en.tm
index 84fc6a4..28de869 100644
--- a/about/changes/change-log.en.tm
+++ b/about/changes/change-log.en.tm
@@ -5,9 +5,11 @@
 <\body>
   <tmdoc-title|<TeXmacs> changelog>
 
-  <section|Changes from version 1.0.7 to 1.0.7.12>
+  <section|Changes from version 1.0.7 to 1.0.7.13>
 
   <\itemize>
+    <item>Added plug-in for the <name|Axiom> fork <name|Fricas> (1.0.7.13).
+
     <item>Make the Qt port default (1.0.7.12).
 
     <item>Remove the dependency on <TeX>/<LaTeX> (1.0.7.12).