Rev 11904 | Rev 11907 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 11904 | Rev 11906 | ||
---|---|---|---|
Line 37... | Line 37... | ||
37 | [WIMS] $httpd_HTTP_HOST |
37 | [WIMS] $httpd_HTTP_HOST |
38 | $name_wimsabout2 |
38 | $name_wimsabout2 |
39 | </div> |
39 | </div> |
40 | <h2>$wims_name_Version</h2> |
40 | <h2>$wims_name_Version</h2> |
41 | WIMS-$wims_version $E_comp $wims_version_date. |
41 | WIMS-$wims_version $E_comp $wims_version_date. |
- | 42 | $wims_manager |
|
42 | 43 | ||
43 | <h2>$E_software</h2> |
44 | <h2>$E_software</h2> |
44 | !set wims_multiexec= |
45 | !set wims_multiexec= |
45 | <ul> |
46 | <ul> |
46 | !for s in pari, maxima, octave, graphviz, yacas, m2 |
47 | !for s in pari, maxima, octave, graphviz, yacas, m2 |
47 | <li> |
48 | <li> |
- | 49 | !if $wims_ismanager!=0 |
|
48 | !exec $s about |
50 | !exec $s about |
- | 51 | !else |
|
- | 52 | $s |
|
- | 53 | !endif |
|
49 | </li> |
54 | </li> |
50 | !endif |
55 | !endif |
51 | !next s |
56 | !next s |
52 | </ul> |
57 | </ul> |
53 | 58 |