Latest builds of Frege 3.24.xxx for Java 1.8 and higher

After some pause, many bugs of the 3.24alpha releases have been fixed and we have finally a compiler we can work with for future developments.

Note that Java 1.7 is still supported, however, people needing it are kindly asked to build their own. See https://github.com/Frege/frege/wiki/Contributing-to-Frege#recompile-the-compiler-unix

Acknowledgements

Frege is proud to utilize the jline library in its interpreter. Thank you, https://github.com/jline/jline2

Change log

3.24.405

• REPL runs better under Windows now

3.24.400

• compile java source code dependencies in -make mode
• The REPL is now included! Just run java -jar frege3.24.400.jar from a command line.