getting-started-with-symbolics/slides.org
changeset 504 340fafcb92f6
parent 458 9a1c5d134feb