#ifndef __SHELL_H__
#define __SHELL_H__

void Shell_mainLoop();
void Shell_redisplay();

double Shell_getCurrentTime();
const char * Shell_getResourcePath();

#endif