@item @uref{../misc/out-www/CHANGES-0.0.html, Change logs from 0.0 till 0.1 }
@item @uref{../misc/out-www/CHANGES-0.1.html, Change logs from 0.1 till 1.0 }
@item @uref{../misc/out-www/CHANGES-1.0.html, Change logs from 1.0 till 1.1 }
-@item @uref{../misc/out-www/CHANGES-1.1.html, Change logs from 1.1 till 1.2 }
+@item @uref{../misc/out-www/CHANGES-1.1.html, Change logs from 1.1 till
+1.2 }
+@item @uref{../misc/out-www/CHANGES-1.2.html, Change logs from 1.2 till 1.3 }
@item @uref{../misc/out-www/NEWS-1.2.html, summary of changes from 1.1 till 1.2 }
@item @uref{../misc/out-www/ANNOUNCE-0.1.html, Announcement of 0.1 (includes summary of
changes)}