Confirmed users
574
edits
DXR: Difference between revisions
Jump to navigation
Jump to search
→Current Projects: Link to result-mixing.
(Link to DXR Roadmap. Retire the UI Refresh page.) |
(→Current Projects: Link to result-mixing.) |
||
| Line 29: | Line 29: | ||
* '''[[DXR Roadmap]]''' | * '''[[DXR Roadmap]]''' | ||
* [[DXR JS Analysis]] | * [[DXR JS Analysis]] | ||
* [[DXR Language-Independent Schema]] | |||
* [[DXR Query Language Refresh]] | * [[DXR Query Language Refresh]] | ||
* [[DXR | * [[DXR Result Mixing]] | ||
== Obsolete Stuff == | == Obsolete Stuff == | ||