frege

Page 1 of 5

File Summary + Labels Uploaded Size
Please-Note.txt Link to place where Frege releases can be downloaded.  Type-Docs  OpSys-All Aug 12, 2013 162
frege-repl-1.0-20130312.0006.zip Frege REPL  Deprecated  Type-Archive Mar 12, 2013 7.55MB
frege3.21.107-g4bd09eb.jar Frege Runtime and Compiler (Stdio)  Type-JAR  OpSys-All  Deprecated Feb 28, 2013 6.36MB
frege.ide.3.21.107-g4bd09eb.zip Frege IDE for Eclipse  Type-Archive  OpSys-All  Deprecated Feb 28, 2013 7.31MB
libsources3.21.107-g4bd09eb.zip Library sources  Type-Source  OpSys-All  Deprecated Feb 28, 2013 131.14KB
Language-Mar-2013.pdf Language Reference (Draft)  Type-Docs  OpSys-All Feb 28, 2013 542.58KB
Langspec-Feb-2013.pdf Language Reference (Draft)  Type-Docs  OpSys-All  Deprecated Feb 21, 2013 372.89KB
frege3.21.73-gea50a6d.jar Frege Runtime and Compiler (see Description for changes)  Type-JAR  OpSys-All  Deprecated Feb 12, 2013 6.38MB
frege.ide.3.21.73-gea50a6d.zip Frege IDE for Eclipse (TDNR, stdlib changes, bug fixes)  Type-Archive  OpSys-All  Deprecated Feb 12, 2013 5.81MB
libsources3.21.73-gea50a6d.zip Library sources  Type-Source  OpSys-All  Deprecated Feb 12, 2013 130.01KB
frege3.21.59-ge51d684.jar Frege Runtime and Compiler (bug fixes, exceptions)  Type-Executable  OpSys-All  Deprecated Feb 3, 2013 6.28MB
frege.ide.3.21.59-ge51d684.zip Frege IDE for Eclipse (new exceptions)  Type-Archive  OpSys-All  Deprecated Feb 3, 2013 5.75MB
libsources3.21.59-ge51d684.zip Library sources  Type-Source  OpSys-All  Deprecated Feb 3, 2013 130.36KB
libsources3.21.33-g5e7b72f.zip Library sources  Type-Source  OpSys-All  Deprecated Jan 25, 2013 126.16KB
frege.ide.3.21.33-g5e7b72f.zip Frege IDE for Eclipse (arithmetic sequences)  Type-Archive  OpSys-All  Deprecated Jan 25, 2013 5.71MB
frege3.21.33-g5e7b72f.jar Frege Runtime and Compiler (with arithmetic sequences and bugfix for GAE)  Type-JAR  OpSys-All  Deprecated Jan 21, 2013 6.24MB
frege.ide.3.21.8-geeec484.zip Frege IDE for Eclipse (content proposer error fixed)  Type-Archive  OpSys-All  Deprecated Jan 8, 2013 5.68MB
frege3.21.8-geeec484.jar Frege Runtime and Compiler (new runtime system)  Type-JAR  OpSys-All  Deprecated Jan 8, 2013 6.22MB
libsources3.21.8-geeec484.zip Library sources  Type-Source  OpSys-All  Deprecated Jan 8, 2013 125.29KB
frege.ide.3.21.3.zip Frege IDE for Eclipse (space leak fixed)  Type-Archive  OpSys-All  Deprecated Jan 7, 2013 5.54MB