ERROR: Signo de puntuación desconocido

[exo123]

Estoy viendo unos ejemplos del uso de repeat y me salen unos errores

yo pego este código en el phpmyadmin

delimiter //
CREATE procedure p15()
begin
declare v int;
SET v = 20;
repeat
INSERT INTO lista VALUES(v);
SET v = v + 1;
until v >= 1
end repeat;
end;
//

me aparece este error

ERROR: Signo de puntuación desconocido @ 11
STR: //
SQL: delimiter //
CREATE procedure p15()
begin
declare v int;delimiter //

eso se repie barias veces y mas abajo

consulta SQL:

delimiter // CREATE procedure p15() begin declare v int;

MySQL ha dicho:

#1064 - You have an error in your SQL syntax; check the manual that corresponds to your MySQL server version for the right syntax to use near 'delimiter //
CREATE procedure p15()
begin
declare v int' at line 1


¿qué es lo que pasa?