in content/js/downloads.js [70:81]
function initReleaseNotes() {
var releaseNotes = document.getElementById("ctakesReleaseNotes");
for (var version in releases) {
var releaseDate = releases[version].released;
var verShort = versionShort(version);
var contents = "<li><a href='releases/ctakes-release-$verUrl.html'>ctakes $ver</a> ($date)</li>"
.replace(/\$verUrl/, verShort.replace(/\./g, "-"))
.replace(/\$ver/, verShort)
.replace(/\$date/, releaseDate.toDateString().slice(4))
append(releaseNotes, contents);
}
}