Skip to content

History / Architecture Details

Revisions

  • Add used_sentences association to ProofAttempt

    @eugenk eugenk committed Apr 15, 2018
    ebd174d

  • 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

  • Updated Architecture Details (markdown)

    @DerProfessor DerProfessor committed Dec 20, 2017
    b3bc0c2

  • Updated Architecture Details (markdown)

    @eugenk eugenk committed Oct 20, 2017
    6bc92cd

  • Updated Architecture Details (markdown)

    @eugenk eugenk committed Oct 9, 2017
    40fec11

  • Updated Architecture Details (markdown)

    @eugenk eugenk committed Oct 2, 2017
    40836bc

  • Updated Architecture Details (markdown)

    @eugenk eugenk committed Sep 28, 2017
    904535c

  • Updated Architecture Details (markdown)

    @eugenk eugenk committed Sep 28, 2017
    64a1d41

  • Updated Architecture Details (markdown)

    @eugenk eugenk committed Sep 27, 2017
    ba4a9dc

  • Updated Architecture Details (markdown)

    @eugenk eugenk committed Sep 27, 2017
    0e2f8b6

  • Updated Architecture Details (markdown)

    @eugenk eugenk committed Sep 27, 2017
    1d24d70

  • Updated Architecture Details (markdown)

    @eugenk eugenk committed Sep 25, 2017
    4deeb9b

  • Updated Architecture Details (markdown)

    @eugenk eugenk committed Sep 25, 2017
    5fe772f

  • Updated Architecture Details (markdown)

    @eugenk eugenk committed Sep 20, 2017
    337295d

  • Updated Architecture Details (markdown)

    @eugenk eugenk committed Sep 16, 2017
    e227440

  • Updated Architecture Details (markdown)

    @eugenk eugenk committed Sep 13, 2017
    778f384

  • Updated Architecture Details (markdown)

    @eugenk eugenk committed Sep 7, 2017
    901ba21

  • Updated Architecture Details (markdown)

    @eugenk eugenk committed Aug 11, 2017
    d07048d

  • Explain what is needed for #82

    @eugenk eugenk committed Jun 29, 2017
    bbdf7c9

  • Add architecture diagram

    @eugenk eugenk committed Jun 2, 2017
    f9cdb0c

  • Created Architecture Details (markdown)

    @eugenk eugenk committed Aug 29, 2016
    3c682a4