Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • feat/irifix
  • fin/applogos
  • fin/ulo-section
  • issue10/explorer
  • issue12/setup
  • issue13/fix
  • issue13/version-upgrade
  • master default
  • week19/rdf4j
  • week19/run-queries
  • week20/collector
  • week20/collector-rebase
  • week20/collector-refactor
  • week20/dockercompose
  • week20/importer
  • week20/uloimport
  • week21/appexample
  • week21/htmldemo
  • week22/june-todos
  • week22/queries
20 results
Created with Raphaël 2.2.03Nov21Oct95230Sep292827242322212018171615142120Aug19181730Jul29962130Jun292524232217161512109829May28262524211913121175430Apr28272420app: make listen address configurable w/ environment variablesapp: add logos and legal linksembedd graphicsfin/applogosfin/applogosapp: add logos and legal linksreport: final paper-based reviewreport: review introweek41/final-re…week41/final-reviewreport: review abstractreport: review implreport: review q3report: review q{1,2}report: review applicationsreport: review conclusionreport: review conclusionreport: review applicationsreport: review implementationreport: review introreport: review abstractreview conclusionweek41/review-a…week41/review-againreview q3review q2review q1review section on exploration appreview section on predicate usereview deploymentfigure: add some (more) vspace between subfiguresreview section on endpointreport: review versioningreport: review schedulingreport: review implreview introreport: review abstractreport: application: document "explore" tab in spark uiapp: document explorationweek41/reportin…week41/reporting-on-appreport: add screenshots of explore appapp: infer isabelle afp url from ulo:sourcerefapp: fix: do not crash on empty Meta fieldsapp: show more meta information in node infoapp: set up /explore/node pageapp: add explore links for use referencesweek40/apppepweek40/apppepapp:set up /explore/node page