#! /usr/bin/gawk -f
# Last edited on 2003-03-03 00:16:12 by stolfi

/^ *[@]/ {
  # Remove whitespace
  gsub(/[ ]+/, "", $0);
  # Remove garbage and isolate the tags:
  gsub(/^[@][^{}]*{/, "", $0);
  gsub(/[ ]*[,][ ]*$/, "", $0);
  print;
  next
}

// {
  nex;
}