Skip to content

History / Contributing to Frege

Revisions

  • update the jline reference since the latest jline releases no longer publish the jar

    @Dierk Dierk committed May 23, 2020
  • Updated Contributing to Frege (markdown)

    @Ingo60 Ingo60 committed May 1, 2018
  • described how to make the REPL

    @Ingo60 Ingo60 committed Apr 8, 2018
  • make it even more clear

    @Ingo60 Ingo60 committed Apr 8, 2018
  • detailed construction of release for Java 1.7

    @Ingo60 Ingo60 committed Apr 8, 2018
  • Updated Contributing to Frege (markdown)

    @Ingo60 Ingo60 committed Mar 26, 2018
  • Frege require at least Java9 to compile

    Yu Xuanchi committed Mar 26, 2018
  • Updated Contributing to Frege (markdown)

    @Ingo60 Ingo60 committed Apr 12, 2016
  • Indicate that fregec.jar can be fetched via Makefile target

    @catull catull committed Nov 22, 2015
  • Updated Contributing to Frege (markdown)

    @Ingo60 Ingo60 committed Nov 17, 2015
  • Updated Contributing to Frege (markdown)

    @Ingo60 Ingo60 committed Nov 15, 2015
  • Updated Contributing to Frege (markdown)

    @mperry mperry committed Oct 9, 2015
  • Updated Contributing to Frege (markdown)

    @mperry mperry committed Oct 9, 2015
  • Updated Contributing to Frege (markdown)

    @mperry mperry committed Oct 9, 2015
  • Updated Contributing to Frege (markdown)

    @Ingo60 Ingo60 committed Aug 3, 2015
  • Updated Contributing to Frege (markdown)

    @Ingo60 Ingo60 committed Mar 23, 2015
  • Updated Contributing to Frege (markdown)

    @Ingo60 Ingo60 committed Feb 27, 2015
  • Updated Contributing to Frege (markdown)

    @Ingo60 Ingo60 committed Feb 27, 2015
  • Updated Contributing to Frege (markdown)

    Dierk König committed Feb 27, 2015
  • Created Contributing to Frege (markdown)

    Dierk König committed Feb 27, 2015