How about apply @Deprecated annotation to OpenGL functions that are removed from core profile?
This has been suggested and rejected before. The reason is that using compatibility profile functionality is still reasonable and actually very common.
LWJGL now has separate class hierarchies for compatibility and core profiles (e.g. GL20 and GL20C). There are no deprecated symbols in the *C variants.