version 1.23, 2006/01/21 12:04:47 |
version 1.24, 2006/01/21 12:23:15 |
|
|
/* $OpenXM: OpenXM/src/kxx/ox_texmacs.c,v 1.22 2006/01/19 12:24:15 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kxx/ox_texmacs.c,v 1.23 2006/01/21 12:04:47 takayama Exp $ */ |
|
|
#include <stdio.h> |
#include <stdio.h> |
#include <stdlib.h> |
#include <stdlib.h> |
Line 397 static int end_of_input(int c) { |
|
Line 397 static int end_of_input(int c) { |
|
} |
} |
static void setDefaultParameterForCfep() { |
static void setDefaultParameterForCfep() { |
Format = 0; |
Format = 0; |
NoCopyright = 1; |
|
} |
} |
|
|
static void printv(char *s) { |
static void printv(char *s) { |
Line 439 static void printp(char *s) { |
|
Line 438 static void printp(char *s) { |
|
static void printCopyright(char *s) { |
static void printCopyright(char *s) { |
printf("%s",Data_begin_v[View]); |
printf("%s",Data_begin_v[View]); |
if (! NoCopyright) { |
if (! NoCopyright) { |
printf("OpenXM engine (ox engine) interface for TeXmacs\n2004 (C) openxm.org"); |
printf("OpenXM engine (ox engine) interface with TeXmacs protocol.\n2004 (C) openxm.org"); |
printf(" under the BSD license. !asir; !sm1; !k0; !verbatim;\n"); |
printf(" under the BSD license. !asir; !sm1; !k0; !verbatim; !quit;\n"); |
printf("Type in !reset; when the engine gets confused. "); |
printf("Type in !reset; when the engine gets confused. "); |
printf("%s",s); |
printf("%s",s); |
} |
} |
Line 478 static int startEngine(int type,char *msg) { |
|
Line 477 static int startEngine(int type,char *msg) { |
|
KSexecuteString(" /ox.engine oxasir.ccc def "); |
KSexecuteString(" /ox.engine oxasir.ccc def "); |
TM_asirStarted = 1; |
TM_asirStarted = 1; |
printf("%s\n",msg); |
printf("%s\n",msg); |
if ( ! NoCopyright) { |
if ((!NoCopyright) && ((char *)getenv("ASIR_CONFIG") != NULL)) { |
KSexecuteString(" oxasir.ccc (copyright()+asir_contrib_copyright();) oxsubmit oxasir.ccc oxpopstring "); |
KSexecuteString(" oxasir.ccc (copyright()+asir_contrib_copyright();) oxsubmit oxasir.ccc oxpopstring "); |
|
ob = KSpop(); |
|
if (ob.tag == Sdollar) { |
|
printf("%s",ob.lc.str); |
|
} |
|
}else if ((!NoCopyright) && ((char *)getenv("ASIR_CONFIG") == NULL)) { |
|
KSexecuteString(" oxasir.ccc (copyright();) oxsubmit oxasir.ccc oxpopstring "); |
ob = KSpop(); |
ob = KSpop(); |
if (ob.tag == Sdollar) { |
if (ob.tag == Sdollar) { |
printf("%s",ob.lc.str); |
printf("%s",ob.lc.str); |