- Dec 05, 2017
- Dec 03, 2017
-
-
Hermann authored
-
- Dec 02, 2017
- Dec 01, 2017
-
-
Hermann authored
-
Hermann authored
-
Hermann authored
-
Hermann authored
-
Hermann authored
-
Hermann authored
-
Hermann authored
-
Hermann authored
-
Hermann authored
-
Hermann authored
-
Hermann authored
-
Hermann authored
-
Hermann authored
-
Hermann authored
-
Hermann authored
This adds an easy exact-match-search to tables. In order to do so, we change the specifications that tables take query objects instead of query strings so we can combine them easier with the search query.
-
- Nov 30, 2017
-
-
Hermann authored
-
Hermann authored
add option to specify table titles and do this in accordance to the deifnitions of a given tool for a given resource Therefore, we produce individual table-wrappers per resource / tool
-
Hermann authored
-
Hermann authored
-
Hermann authored
-
Hermann authored
-
Hermann authored
-
- Oct 18, 2017
-
-
Sandro Lutz authored
-
Sandro Lutz authored
-
Sandro Lutz authored
-