PKD 10/11: Programvara

På kursen används två speciella programvaror: New Jersey SML version 110.72 och ett SML-paket för Emacs. På institutionens Unix-datorer startas New Jersey ML med kommandot

sml

Vill du använda New Jersey SML på din egen dator så hittar du länkar här. New Jersey ML finns för MacOS, Unix (inklusive Linux) och Windows.

SML-paketet för Emacs finns förladdat när du kör Emacs på institutionsdatorerna. En beskrivning av paketet finns här. Vill du installera det på din egen dator kan du få information här (bläddra ned till "Contributed software").

Lite mer detaljerade anvisningar för hur man installerar New Jersey SML och Emacs-paketet för Mac och PC kan du hitta här. De anvisningarna hänvisar dock till en tidigare version av NJSML. Använd 110.72 istället.

Vi har tyvärr inga möjligheter från institutionens sida att hjälpa dig att installera någon programvara på din egen dator. Om du installerar själv och får problem så är våra möjligheter att hjälpa dig små. Du kan alltid använda institutionens datorer.