What is still needed from this repo?

[zvonimir]

It would be good to go through this repo and determine what is still needed and should be maintained, or what can be dropped.

[bkragl]

I was also thinking that this repository can probably now be deleted. Coco/R is now included in Boogie as a .NET Core local tool. The Emacs stuff here is probably as deprecated as the stuff we recently removed from the Boogie repo, since we now have boogie-friends. Now the only remaining thing would be "Aste", which looks like some self-written build system. Is this still used or worth preserving?

[zvonimir]

Yeah, my impression was the same.
@RustanLeino Could you confirm whether this repo could be erased or not? If not, then maybe parts of it can be removed. Thanks!