Last change
on this file since 37 was 37, checked in by bart, 3 years ago |
Added python SimpleRunner GUI
|
File size:
748 bytes
|
Rev | Line | |
---|
[37] | 1 | <html>
|
---|
| 2 | <head>
|
---|
| 3 | <title>profiles server</title>
|
---|
| 4 | <link rel="stylesheet" type="text/css" href="css/list.css" />
|
---|
| 5 |
|
---|
| 6 | </head>
|
---|
| 7 | <body>
|
---|
| 8 | <h1>GeniusWeb Domains and Profiles Server.</h1>
|
---|
| 9 | This server serves the domains and profiles.
|
---|
| 10 |
|
---|
| 11 |
|
---|
| 12 |
|
---|
| 13 | <h2>
|
---|
| 14 | Currently available
|
---|
| 15 | </h1>
|
---|
| 16 |
|
---|
| 17 | The list of currently available profiles is <aa
|
---|
| 18 | onclick="window.location='list.xhtml'+window.location.search;">here</aa>.<br>
|
---|
| 19 | The list of domain and profile files is browsable <a
|
---|
| 20 | href="domainsrepo">here</a>. Notice that these may contain files with
|
---|
| 21 | errors, and thus are not available for use.
|
---|
| 22 | <p>
|
---|
| 23 | For creating a profile or adding it to the server please check the <a
|
---|
| 24 | href="https://tracinsy.ewi.tudelft.nl/pubtrac/GeniusWebProfilesServer">wiki</a>.
|
---|
| 25 |
|
---|
| 26 |
|
---|
| 27 | </body>
|
---|
| 28 | </html>
|
---|
Note:
See
TracBrowser
for help on using the repository browser.