tree 94e274e03a6b09f673d67a9c9a820b70ec5d8196
parent d5010ecf0cd0506a1832f16542e01c734e4430ec
author Rainer Perkuhn <perkuhn@ids-mannheim.de> 1722343386 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1722343692 +0200

Update derekovecs.js, modified cosmas II query proximity operator to /w1:5,s0 as appropriately reflecting context definition