DrScheme (unter Download Site Tübingen anwählen! Derzeit wird noch Version 100 empfohlen.)
Wichtig: Nach dem ersten Start Language -> Configure Language -> MrEd Debug anwählen und neu starten.
Language
Configure Language
MrEd Debug
Installation:
picture.plt
setup-plt picture.plt
Setup PLT