1 2 3 4 5 6
#[deprecated(since = "X.Y", note = "Use idtac instead.")] Ltac foo := idtac. Goal True. foo. Abort.