Lịch sử commit

Tác giả SHA1 Thông báo Ngày
  Martin Thoma 7740f0147f Remove trailing spaces 9 năm trước cách đây
  Martin Thoma 102fe0447b Änderungen der Zugfahrt eingearbeitet. 11 năm trước cách đây
  Martin Thoma 03d2d98754 minor changes 11 năm trước cách đây
  Martin Thoma a1274e176f many improvements (theorem-proof-structure for constant function; corrected errors) 11 năm trước cách đây
  Martin Thoma 1f7971f5ab added some ideas; heavy restructuring 11 năm trước cách đây