| version 1.13, 2004/03/04 06:29:16 |
version 1.14, 2004/03/04 12:29:58 |
|
|
| /* $OpenXM: OpenXM/src/kxx/ox_texmacs.c,v 1.12 2004/03/03 12:27:31 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kxx/ox_texmacs.c,v 1.13 2004/03/04 06:29:16 takayama Exp $ */ |
| |
|
| #include <stdio.h> |
#include <stdio.h> |
| #include <setjmp.h> |
#include <setjmp.h> |
| Line 102 main(int argc,char *argv[]) { |
|
| Line 102 main(int argc,char *argv[]) { |
|
| TM_Engine = ASIR; |
TM_Engine = ASIR; |
| }else if (strcmp(argv[i],"--k0") == 0) { |
}else if (strcmp(argv[i],"--k0") == 0) { |
| TM_Engine = K0; |
TM_Engine = K0; |
| |
}else if (strcmp(argv[i],"--outputLimit") == 0) { |
| |
i++; |
| |
sscanf(argv[i],"%d",&OutputLimit_for_TeXmacs); |
| }else{ |
}else{ |
| /* printv("Unknown option\n"); */ |
/* printv("Unknown option\n"); */ |
| } |
} |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to ox_texmacs.c CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / kxx