in content/js/downloads.js [51:68]
function initDownloads() {
var versionSelect = document.getElementById("ctakesVersionSelect");
// Populate versions
for (var version in releases) {
var releaseDate = releases[version].released;
var downloadable = releases[version].downloadable;
if (!downloadable) { continue; }
// Don't display incubation status here
var title = versionShort(version) + " (" + releaseDate.toDateString().slice(4) + ")";
append(versionSelect, "<option value=\"" + version + "\">" + title + "</option>");
}
// Populate packages and (transitively) releases
onVersionSelect();
}