Rev 7673 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 7673 | Rev 8185 | ||
|---|---|---|---|
| Line 15... | Line 15... | ||
| 15 | * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. |
15 | * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. |
| 16 | */ |
16 | */ |
| 17 | 17 | ||
| 18 | /* This should be a rather independent routine, which are |
18 | /* This should be a rather independent routine, which are |
| 19 | * used to interface an outside mathematical encyclopedia. */ |
19 | * used to interface an outside mathematical encyclopedia. */ |
| - | 20 | #include "wims.h" |
|
| 20 | 21 | ||
| 21 | void exec_href(char *p); |
22 | void exec_href(char *p); |
| 22 | 23 | ||
| 23 | /* internal encyclopedia version */ |
24 | /* internal encyclopedia version */ |
| 24 | /* void pedia_wims(char *p) |
25 | /* void pedia_wims(char *p) |