R11/release11-tools
4
2
Fork 0
Code Issues 9 Pull Requests 4 Packages Projects Releases 6 Wiki Activity

Added XQuery Tool and refactored tools-service #220

Merged
bema merged 30 commits from bema/func/xquery into master 2023-06-12 10:53:24 +02:00
Conversation 1 Commits 30 Files Changed 21 +1 -2
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit f4c5ad753b - Show all commits

3
Frontend/tools/xquery.html
View File

@@ -31,9 +31,8 @@
</select>
<label for="versions">XQuery version:</label>
<select name="versions" id="versions">
<option class="hideable saxon" value="2.0">2.0</option>
<option class="hideable saxon" value="3.0">3.0</option>
<option class="hideable saxon" value="3.1">3.1</option>
<option class="hideable saxon" value="4.0">4.0</option>
</select>
</div>
<div>