Commit History

Upphovsman SHA1 Meddelande Datum
  Martin Thoma 8caf744da4 Vorschlag von Moritz (E-Mail vom 08.04.2014) umgesetzt; Fehler, den Jeremias über Facebook am 08.04.2014 berichtet hat, wurde behoben 11 år sedan
  Martin Thoma e42277ecda Abstrakte Syntax; Prolog (Listenoperationen) 11 år sedan