As of now, there will be just one downloadable file in a release. This is, of course, the frege jar. All documentation is now kept on http://www.frege-lang.org Runtime Javadoc Frege Library (I am still looking for a nice way to have a searchable page, or at least an automatic index on http://www.frege-lang.org/doc/frege. Contributions and ideas welcome!). Language Reference The eclipse plugin has