diff --git a/examples/demo.pl b/examples/demo.pl index ed94765..229e584 100644 --- a/examples/demo.pl +++ b/examples/demo.pl @@ -28,8 +28,8 @@ options :- writeln('(1) A password prompt basics password.pl'), writeln('(2) Add i in [a..b] maths summer.pl'), writeln('(3) A translator meta mib_voorbeelden.pl'), - writeln('(4) A tale of a ceremony cont. ceremony.pl'), - writeln('(5) Maths with Shift/Reset cont. continuations.pl'), + writeln('(4) A tale of a ceremony del.con. ceremony.pl'), + writeln('(5) Maths with Shift/Reset del.con. continuations.pl'), % writeln('(6) Alternative lists meta my_list.pl'), nl, writeln('(interpreter) to enter the interpreter'),