Add timestamp to cred snippet
Add subnumcases to reftex-label-alist