diff options
| author | Matej Kosik | 2015-10-29 14:39:31 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-12-10 09:35:09 +0100 |
| commit | 0a5ee78c32b5f48d8f90de1ff073e250db5033d6 (patch) | |
| tree | b40dd9f2c200cfa9444c46ddbaffeab6d3e6ed6f /plugins/pluginsvo.itarget | |
| parent | cdd31465cee9ea8bef2a253280ee8a9647ecc01d (diff) | |
ENH: 'Global Index' was enriched.
These notions:
- local assumption
- local definition
- global assumption
- global definition
are now indexed.
Diffstat (limited to 'plugins/pluginsvo.itarget')
0 files changed, 0 insertions, 0 deletions