-
Notifications
You must be signed in to change notification settings - Fork 2
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
User-submitted resources
enhancementNew feature or requestNew feature or requestStatus: Open.#339 In platform-coop-toolkit/coop-library-framework;Strip most tags from abstract, hide unnecessary toolbar items
enhancementNew feature or requestNew feature or requestmaybe laterTo be revisited in the future.To be revisited in the future.Status: Open.#338 In platform-coop-toolkit/coop-library-framework;Nice search
enhancementNew feature or requestNew feature or requestmaybe laterTo be revisited in the future.To be revisited in the future.Status: Open.#309 In platform-coop-toolkit/coop-library-framework;Spec citation output
enhancementNew feature or requestNew feature or requestmaybe laterTo be revisited in the future.To be revisited in the future.Status: Open.#7 In platform-coop-toolkit/coop-library-framework;