GPN12:Agda - Mit starken Typen abhängen: Versionsgeschichte
aus dem Wiki des Entropia e.V., CCC Karlsruhe
Auswahl des Versionsunterschieds: Markiere die Radiobuttons der zu vergleichenden Versionen und drücke die Eingabetaste oder die Schaltfläche am unteren Rand.
Legende: (Aktuell) = Unterschied zur aktuellen Version, (Vorherige) = Unterschied zur vorherigen Version, K = Kleine Änderung