Revisions

Current revision: 217

Recent revisions:

  1. Merge branch 'master' of /var/git/miner (4 months ago)
  2. production config (4 months ago)
  3. PDF graphs (4 months ago)
  4. new, simpler logo (7 months ago)
  5. a few styling updates (7 months ago)
  6. contact information (7 months ago)
  7. inactivate search_link when either query doesn't give results (8 months ago)
  8. new publications (10 months ago)
  9. concept/graph and relation/show requests now redirect to the same page, combining literature references and hypotheses for both known and inferred relations (10 months ago)
  10. choose number of paths when making a graph (11 months ago)