[abc] pattern repository

Hi again.

Sorry for spaming you but it just came back to my mind: Did we not several months ago email several research groups asking if they want to establish a repository of temporal spec patterns or something? I seem to remember something like this. If so, what happened to those plans?

Cheers,

Eric

--
Eric Bodden
Sable Research Group, McGill University
Montréal, Québec, Canada