version 1.45, 2019/05/24 02:25:12 |
version 1.46, 2019/09/25 06:29:10 |
|
|
/* $OpenXM: OpenXM/src/kxx/ox_texmacs.c,v 1.44 2019/03/28 21:19:49 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kxx/ox_texmacs.c,v 1.45 2019/05/24 02:25:12 takayama Exp $ */ |
|
|
#include <stdio.h> |
#include <stdio.h> |
#include <stdlib.h> |
#include <stdlib.h> |
|
|
/* |
/* |
#define DEBUG |
#define DEBUG |
*/ |
*/ |
/* |
|
#define DEBUG2 |
#define DEBUG2 |
*/ |
|
|
|
|
|
/* Type of View part (user interface engine) */ |
/* Type of View part (user interface engine) */ |
#define GENERIC 0 /* DEBUG, xml */ |
#define GENERIC 0 /* DEBUG, xml */ |
#define V_TEXMACS 1 |
#define V_TEXMACS 1 |
Line 586 static char *readString(FILE *fp, char *prolog, char * |
|
Line 586 static char *readString(FILE *fp, char *prolog, char * |
|
} |
} |
|
|
/* 2019.03.28 for jupyter */ |
/* 2019.03.28 for jupyter */ |
if ((mystrncmp(&(s[start]),"base_prompt") != 0) |
if ((View == V_JUPYTER) && (mystrncmp(&(s[start]),"base_prompt") != 0) |
&&(mystrncmp(&(s[start]),"version()") != 0)) { |
&&(mystrncmp(&(s[start]),"version()") != 0)) { |
if (Sss == NULL) { |
if (Sss == NULL) { |
Sss = (char *)sGC_malloc(Sss_size); |
Sss = (char *)sGC_malloc(Sss_size); |