version 1.2, 2000/01/11 06:43:35 |
version 1.3, 2000/02/08 04:47:10 |
|
|
/* $OpenXM: OpenXM_contrib2/asir2000/include/ox.h,v 1.1.1.1 1999/12/03 07:39:11 noro Exp $ */ |
/* $OpenXM: OpenXM_contrib2/asir2000/include/ox.h,v 1.2 2000/01/11 06:43:35 noro Exp $ */ |
#include "com.h" |
#include "com.h" |
|
|
/* version */ |
/* version */ |
Line 102 typedef FILE *ox_stream; |
|
Line 102 typedef FILE *ox_stream; |
|
--->FIXIT |
--->FIXIT |
#endif |
#endif |
|
|
#if PARI |
|
#include "genpari.h" |
|
|
|
extern jmp_buf environnement; |
extern jmp_buf environnement; |
#endif |
|
|
|
extern jmp_buf env; |
extern jmp_buf env; |
extern int *StackBottom; |
extern int *StackBottom; |