Commitin historia

Tekijä SHA1 Viesti Päivämäärä
  Ivan Denisov f69c2c1ebc Default font size was enlarged to 10pt. Refs: #137. 8 vuotta sitten
  Josef Templ 3fe507b301 refinements of data types (some were previously under comments) according to Helmut Zinn. Refs: #23. 10 vuotta sitten
  Oberon microsystems e9de3891e3 Initializing the repository with BlackBox 1.6 final. Refs: #12. 11 vuotta sitten