Cronologia Commit

Autore SHA1 Messaggio Data
  Martin Thoma 80e8df59d6 Abschnitt über Arithmetik in Prolog hinzugefügt; misc 11 anni fa