Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Dependencies: improve redaing and navigation #41

Closed
Chris00 opened this issue Apr 13, 2013 · 1 comment
Closed

Dependencies: improve redaing and navigation #41

Chris00 opened this issue Apr 13, 2013 · 1 comment
Assignees

Comments

@Chris00
Copy link
Contributor

Chris00 commented Apr 13, 2013

When a package has many dependencies, such as http://opam.ocamlpro.com/pkg/jenga.109.18.00.html, it would be nice if they were listed in a clearer way. It would also be nice if they were links.

This is what is actually done to the right and it is a duplicate of information. If think the two should be merged (also for optional deps) and the right column should only be used for "side information" such as

  1. reverse dependencies (as of now);
  2. suggestions of similar packages (e.g. using tags);
  3. packages in the same categories, e.g. "scientific", "graphics",... (again using tags but picked up in a given list).
@ghost ghost assigned dsheets Dec 21, 2013
@dsheets
Copy link
Contributor

dsheets commented Dec 24, 2013

I've made everything a link and translated the formulae structure into DOM structure.

If you could elucidate your tag ideas in other issues, that would be great.

Better reverse dependency support (with consolidated ranges) will arrive soon with the fix to #78.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants