Files in critcl/ of tip

Files in directory /critcl from the latest check-in