Added tooltips for XPath 2.0 #134

Merged
bema merged 11 commits from bema/ref/20-tooltips into master 2023-04-06 11:53:55 +02:00
No description provided.