| 5,15 → 5,15 |
|---|
| This wims programmability extension to html does not require any |
| addon or plugin at the browser side, as all the wims commands are treated |
| by the wims server before sending the result to the browser, which will |
| be a standard html page. <br/> |
| be a standard html page. <br> |
| For example, this allows you to define style macros which can be |
| dynamically changed. <br/> |
| dynamically changed. <br> |
| And this extension can cohabit with all the current (and hopefully |
| future) html standards, including java applets, javascripts, embedded |
| objects, |
| dhtml... This is because the wims extension follows a strict line |
| discipline (i.e. a wims command must start at the first word of a line), |
| while html standard is not line-oriented. <br/> |
| while html standard is not line-oriented. <br> |
| This means that you can even embed wims extensions into javascripts, |
| applets, dhtml... |
| </li> |
| 43,7 → 43,7 |
|---|
| its current value, then the software package `PARI' will be called |
| with the string `print(factor(<value of $$number>))' as command to |
| execute. The output of the program, with the overheads stripped, will |
| be placed as the value of the variable `factor'. <br/> |
| be placed as the value of the variable `factor'. <br> |
| Interfaces provided in version $wims_version of wims: PARI, Maxima, MuPAD, |
| Coq, Povray, gnuplot, PostgreSQL, Fly (gif drawing), CALC (by Keith Matthew). |
| </li> |