Rev 8100 | Rev 8185 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 8100 | Rev 8149 | ||
---|---|---|---|
Line 51... | Line 51... | ||
51 | {"\\Longleftarrow\\", " <== "}, |
51 | {"\\Longleftarrow\\", " <== "}, |
52 | }; |
52 | }; |
53 | 53 | ||
54 | #define backtransno (sizeof(backtrans)/sizeof(backtrans[0])) |
54 | #define backtransno (sizeof(backtrans)/sizeof(backtrans[0])) |
55 | 55 | ||
56 | /*void *xmalloc(size_t n) |
- | |
57 | { |
- | |
58 | void *p; |
- | |
59 | p=malloc(n); |
- | |
60 | if(p==NULL) exit(1); |
- | |
61 | return p; |
- | |
62 | } |
- | |
63 | */ |
- | |
64 | - | ||
65 | /* Points to the end of the word */ |
- | |
66 | /* |
- | |
67 | char *find_word_end(char *p) |
- | |
68 | { |
- | |
69 | int i; |
- | |
70 | for(i=0;!isspace(*p) && *p!=0 && i<MAX_LINELEN; p++,i++); |
- | |
71 | return p; |
- | |
72 | } |
- | |
73 | */ |
- | |
74 | /* Strips leading spaces */ |
- | |
75 | /*char *find_word_start(char *p) |
- | |
76 | { |
- | |
77 | int i; |
- | |
78 | for(i=0; isspace(*p) && i<MAX_LINELEN; p++,i++); |
- | |
79 | return p; |
- | |
80 | } |
- | |
81 | */ |
- | |
82 | char *find_tag_end(char *p) |
56 | char *find_tag_end(char *p) |
83 | { |
57 | { |
84 | char *pp, *old; |
58 | char *pp, *old; |
85 | pp=p; if(*pp=='<') pp++; |
59 | pp=p; if(*pp=='<') pp++; |
86 | for(; *pp && *pp!='>'; pp++) { |
60 | for(; *pp && *pp!='>'; pp++) { |