Commitin historia

Tekijä SHA1 Viesti Päivämäärä
  Martin Thoma 7740f0147f Remove trailing spaces 10 vuotta sitten
  Martin Thoma 102fe0447b Änderungen der Zugfahrt eingearbeitet. 12 vuotta sitten
  Martin Thoma 03d2d98754 minor changes 12 vuotta sitten
  Martin Thoma a1274e176f many improvements (theorem-proof-structure for constant function; corrected errors) 12 vuotta sitten