Sindbad~EG File Manager

Current Path : /usr/home/beeson/Otter-Lambda/yyy/
Upload File :
Current File : /usr/home/beeson/Otter-Lambda/yyy/stubs.h

/* stubs for some functions provided by interact.c that are called in automode, trigcalc, and algebra.
We need stubs for them in order to compile the "yyy" project, i.e. the non-interactive substrate of MathXpert,
on Unix, for use with Otter-lambda. */



int get_selected_language(void);
int get_whichdisk(void);
int wget_arg(PDOCDATA, condition, term *, const char *);
int wget_two_args(PDOCDATA, condition c, term *arg, int promptnumber);
int wget_indexarg(PDOCDATA, int, int);
int in_use(unsigned short);
int display_progress(term, int);
void end_display_progress(void);
void wait(int);
int confirm_parts(term);
void TestTermSelection(operation,int,int);
int autotesting(void);
char *ltoa(long, char *, int);
char *itoa(int, char *,int);
int stricmp(char *x, char *y);
void store_reason(PDOCDATA, int, unsigned char *);
unsigned char * get_reason(PDOCDATA, int);
void store_comment(PDOCDATA, int, unsigned char *);
unsigned char * get_comment(PDOCDATA, int);
char *english_language_name(int);
void InitializeShowStep(void);
void ShowStepFocus(operation *op);
term abstract(lterm);

Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists