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