Rev 8526 | Rev 9893 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 8526 | Rev 8529 | ||
---|---|---|---|
Line 22... | Line 22... | ||
22 | 22 | ||
23 | /* gap prompt string */ |
23 | /* gap prompt string */ |
24 | #define gapprompt "gap> " |
24 | #define gapprompt "gap> " |
25 | /* This string tells gap to exit. */ |
25 | /* This string tells gap to exit. */ |
26 | char *quitstring="\nquit;\n"; |
26 | char *quitstring="\nquit;\n"; |
- | 27 | char *aboutquitstring="GAPInfo.Version;\nquit;\n"; |
|
27 | /* The way to print a string in the program. */ |
28 | /* The way to print a string in the program. */ |
28 | char *stringprinter="Print(\"%s\\n\");\n"; |
29 | char *stringprinter="Print(\"%s\\n\");\n"; |
29 | /* This is GAP home page. To be kept up to date. */ |
30 | /* This is GAP home page. To be kept up to date. */ |
30 | #define homepage "http://www.gap-system.org/" |
31 | #define homepage "http://www.gap-system.org/" |
31 | 32 | ||
Line 106... | Line 107... | ||
106 | puts(pp); pp=pe; |
107 | puts(pp); pp=pe; |
107 | } |
108 | } |
108 | } |
109 | } |
109 | 110 | ||
110 | void about(void) |
111 | void about(void) |
111 | { |
- | |
112 |
|
112 | { char *p; |
113 | */ |
- | |
114 | printf("<a href=\"%s\">GAP4</a>",homepage); return; |
- | |
115 |
|
113 | prepabout(aboutquitstring,outputfname,NULL); |
116 | if(readabout()>0) { |
114 | if(readabout()>0) { |
117 | p=strchr(aboutbuf,'\n'); if(p!=NULL) *p=0; |
115 | p=strchr(aboutbuf,'\n'); if(p!=NULL) *p=0; |
118 | strip_trailing_spaces(aboutbuf); |
116 | strip_trailing_spaces(aboutbuf); |
119 |
|
117 | printf("<a target=\"wims_external\" href=\"%s\">%s</a>",homepage,aboutbuf); |
120 | } |
118 | } |
121 | */ |
- | |
122 | } |
119 | } |
123 | 120 | ||
124 | char *dynsetup(char *ptr, char *end) |
121 | char *dynsetup(char *ptr, char *end) |
125 | { |
122 | { |
126 | int i; |
123 | int i; |