Skip to content

History

Revisions

  • Created Ideas for exercises (markdown)

    @Korosensei42 Korosensei42 committed Jul 18, 2019
    3fe638f

  • Edit entry for arity

    @Korosensei42 Korosensei42 committed Jul 11, 2019
    ece0ade

  • Add entry for impressum

    @Korosensei42 Korosensei42 committed Jul 10, 2019
    2268907

  • Change some text to bold

    @Korosensei42 Korosensei42 committed Jul 10, 2019
    a6a3977

  • Add explanations for kinds of Code

    @Korosensei42 Korosensei42 committed Jul 10, 2019
    1abf883

  • Correct some links

    @Korosensei42 Korosensei42 committed Jul 10, 2019
    81aefae

  • Add Issuerelated entries

    @Korosensei42 Korosensei42 committed Jul 10, 2019
    8fa27fd

  • Add a link

    @Korosensei42 Korosensei42 committed Jul 10, 2019
    513cb09

  • Fix a link

    @Korosensei42 Korosensei42 committed Jul 10, 2019
    8018e98

  • Add some links

    @Korosensei42 Korosensei42 committed Jul 10, 2019
    33ca02a

  • Add first link

    @Korosensei42 Korosensei42 committed Jul 10, 2019
    a333200

  • Add entry for Aussagenlogisches Beweisen

    @Korosensei42 Korosensei42 committed Jul 10, 2019
    1fc4543

  • Add entry for VocabChecker

    @Korosensei42 Korosensei42 committed Jul 10, 2019
    3c8ddd1

  • Add entry for constant

    @Korosensei42 Korosensei42 committed Jul 10, 2019
    800ddf9

  • Add entry for Function

    @Korosensei42 Korosensei42 committed Jul 10, 2019
    db45176

  • Minor change

    @Korosensei42 Korosensei42 committed Jul 10, 2019
    e16f924

  • Add entry for Arity

    @Korosensei42 Korosensei42 committed Jul 10, 2019
    c064a88

  • Add entry for Term. Small changes

    @Korosensei42 Korosensei42 committed Jul 10, 2019
    b25b191

  • Add entry for termvaluation

    @Korosensei42 Korosensei42 committed Jul 10, 2019
    5b77396

  • Add entry for Spielwiese

    @Korosensei42 Korosensei42 committed Jul 10, 2019
    91101d3

  • Add some spaces

    @Korosensei42 Korosensei42 committed Jul 10, 2019
    9f91cd9

  • Add german equivalents

    @Korosensei42 Korosensei42 committed Jul 10, 2019
    178db01

  • Minor changes (make some words bold)

    @Korosensei42 Korosensei42 committed Jul 10, 2019
    0a620f0

  • Updated Glossary (markdown)

    @Korosensei42 Korosensei42 committed Jul 10, 2019
    791dbab

  • Add entry for goal and do minor corrections

    @Korosensei42 Korosensei42 committed Jul 10, 2019
    fba8b95

  • Add entry for Task. Change entry of Exercise

    @Korosensei42 Korosensei42 committed Jul 10, 2019
    1f37b22

  • Add entry for Example and Exercise

    @Korosensei42 Korosensei42 committed Jul 10, 2019
    ea8e8b8

  • Updated Glossary (markdown)

    @Korosensei42 Korosensei42 committed Jul 10, 2019
    1011f46

  • Setting up canvas for wikipage of glossary

    @Korosensei42 Korosensei42 committed Jul 10, 2019
    5e4f776

  • Add mock contributing page

    @Khazuar Khazuar committed Apr 23, 2019
    51d6a34