Links for abstract-ide