version 1.15, 2004/03/09 02:53:05 |
version 1.16, 2004/03/09 07:10:46 |
|
|
/* $OpenXM: OpenXM/src/kxx/ox_texmacs.c,v 1.14 2004/03/04 12:29:58 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kxx/ox_texmacs.c,v 1.15 2004/03/09 02:53:05 takayama Exp $ */ |
|
|
#include <stdio.h> |
#include <stdio.h> |
#include <setjmp.h> |
#include <setjmp.h> |
Line 346 static void printCopyright(char *s) { |
|
Line 346 static void printCopyright(char *s) { |
|
printf("%s",DATA_BEGIN_V); |
printf("%s",DATA_BEGIN_V); |
if (! NoCopyright) { |
if (! NoCopyright) { |
printf("OpenXM engine (ox engine) interface for TeXmacs\n2004 (C) openxm.org"); |
printf("OpenXM engine (ox engine) interface for TeXmacs\n2004 (C) openxm.org"); |
printf(" under the BSD licence. !asir; !sm1; !k0; !verbatim;\n"); |
printf(" under the BSD license. !asir; !sm1; !k0; !verbatim;\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); |
} |
} |