diff options
| author | Matej Kosik | 2015-10-30 16:50:00 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-12-10 09:35:10 +0100 |
| commit | c5b3e7ff66e1675aaec7be5e0ee6772e88250991 (patch) | |
| tree | 461756dd215bc4d4cb83eb66d190de22b8220e75 /plugins/syntax/string_syntax_plugin.mllib | |
| parent | 73985c85792da06857199311834962f6a417e71c (diff) | |
ENH: the concept of 'inductive declaration' was added to the 'Global Index'
Diffstat (limited to 'plugins/syntax/string_syntax_plugin.mllib')
0 files changed, 0 insertions, 0 deletions