You can check on the changes history or in svn/git repository that development never stopped. Since the developers are quire busy they were not so effective in advertising the hard work put in TeXmacs. We are trying to change this.