Skip to content

History

Revisions

  • Updated Setting up the development environment (markdown)

    @DerProfessor DerProfessor committed Oct 23, 2018
    bb3cb84

  • Updated Setting up the development environment (markdown)

    @DerProfessor DerProfessor committed Oct 23, 2018
    9fcd600

  • Updated Setting up the development environment (markdown)

    @DerProfessor DerProfessor committed Oct 23, 2018
    3985e78

  • Updated Setting up the development environment (markdown)

    @DerProfessor DerProfessor committed Oct 23, 2018
    5af8c85

  • Updated Setting up the development environment (markdown)

    @DerProfessor DerProfessor committed Oct 23, 2018
    92c2cfb

  • Add used_sentences association to ProofAttempt

    @eugenk eugenk committed Apr 15, 2018
    ebd174d

  • Fix rabbitmqctl call

    @eugenk eugenk committed Feb 21, 2018
    8c7bc66

  • Updated Setting up the development environment (markdown)

    @eugenk eugenk committed Feb 8, 2018
    3bde1da

  • Updated Architecture Details (markdown)

    @eugenk eugenk committed Jan 24, 2018
    3be3263

  • Updated Architecture Details (markdown)

    @eugenk eugenk committed Jan 24, 2018
    6c40cc6

  • Updated Architecture Details (markdown)

    @eugenk eugenk committed Jan 24, 2018
    4f6a146

  • Add indexer and index.

    @eugenk eugenk committed Jan 24, 2018
    aeb2afb

  • Updated Setting up the development environment (markdown)

    @eugenk eugenk committed Jan 8, 2018
    75cb54d

  • Updated Setting up the development environment (markdown)

    @eugenk eugenk committed Jan 8, 2018
    d2550d0

  • Updated Architecture Details (markdown)

    @DerProfessor DerProfessor committed Dec 20, 2017
    b3bc0c2

  • Updated Setting up the development environment (markdown)

    @DerProfessor DerProfessor committed Dec 20, 2017
    3937c18

  • Updated Setting up the development environment (markdown)

    @DerProfessor DerProfessor committed Dec 20, 2017
    18ccd6c

  • Updated Software Libraries (markdown)

    @DerProfessor DerProfessor committed Dec 20, 2017
    e54b470

  • Updated Setting up the development environment (markdown)

    @eugenk eugenk committed Nov 3, 2017
    63fa22b

  • Updated Architecture Details (markdown)

    @eugenk eugenk committed Oct 20, 2017
    6bc92cd

  • Updated Setting up the development environment (markdown)

    @eugenk eugenk committed Oct 11, 2017
    524d82c

  • Updated Setting up the development environment (markdown)

    @eugenk eugenk committed Oct 11, 2017
    7d2d112

  • sudo service postgresql restart

    @tillmo tillmo committed Oct 11, 2017
    80b6e43

  • Updated Setting up the development environment (markdown)

    @eugenk eugenk committed Oct 11, 2017
    44b10c2

  • Updated Setting up the development environment (markdown)

    @eugenk eugenk committed Oct 11, 2017
    c223562

  • Updated Setting up the development environment (markdown)

    @eugenk eugenk committed Oct 11, 2017
    34ca0ec

  • Updated Setting up the development environment (markdown)

    @eugenk eugenk committed Oct 11, 2017
    ed3ca3e

  • Updated Setting up the development environment (markdown)

    @eugenk eugenk committed Oct 11, 2017
    d94f32d

  • initdb not needed under Ubuntu 16.04

    @tillmo tillmo committed Oct 11, 2017
    e20ae68

  • Updated Setting up the development environment (markdown)

    @eugenk eugenk committed Oct 11, 2017
    7ea4a65