]>
2023-02-01 | mbs | added checkbox in UI for optional fuzzy parameter | blob | commitdiff | raw |
2023-02-01 | mbs | support fuzzy parameter in all boolean operations | blob | commitdiff | raw | diff to current |
2018-10-03 | dbv | Documentation | blob | commitdiff | raw | diff to current |
2018-09-25 | mzn | Merge branch HELP_DOCUMENTATION_EDITING into master. | blob | commitdiff | raw | diff to current |
2018-08-10 | vsv | Provide automatic building of help documentation locate... | blob | commitdiff | raw | diff to current |
2018-08-08 | vsv | Provide automatic building of help documentation locate... | blob | commitdiff | raw | diff to current |