| .. |
|
admin_tools.html
|
426da2e198
Add stats page and stub admin tools page.
|
7 years ago |
|
base.html
|
810b94ddd9
Prettier resource browser page.
|
7 years ago |
|
index.html
|
212786dac9
Misc additions: some cosmetics to HTML pages, random docs, stub
|
7 years ago |
|
namespaces.html
|
4090e51570
SPARQL query UI and API.
|
7 years ago |
|
resource.html
|
d554979eee
Several improvements to benchmark tool:
|
7 years ago |
|
sparql_query.html
|
4090e51570
SPARQL query UI and API.
|
7 years ago |
|
stats.html
|
426da2e198
Add stats page and stub admin tools page.
|
7 years ago |
|
term_search.html
|
212786dac9
Misc additions: some cosmetics to HTML pages, random docs, stub
|
7 years ago |
Stefano Cossu
d554979eee
Several improvements to benchmark tool: