diff options
| author | Pierre-Marie Pédrot | 2016-03-10 15:16:02 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-03-19 01:36:22 +0100 |
| commit | a11dd2209f47b6b79ace3d32071d29bd5652e07a (patch) | |
| tree | 11d77d1ccb3b89a6d66cc90f6034761b8f8fbc7a /plugins/decl_mode | |
| parent | f63cf9d72c7feb6aa65e525bf6262559a355435f (diff) | |
Relying on Vernac classifier to flag tactics in the STM.
Diffstat (limited to 'plugins/decl_mode')
0 files changed, 0 insertions, 0 deletions