Last change
on this file since 40 was 40, checked in by bart, 3 years ago |
Added java logconverter to add utilities to log results. Fixed
bug in python ProgressTime.
|
File size:
748 bytes
|
Line | |
---|
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.