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 /parsing/tok.ml | |
parent | f63cf9d72c7feb6aa65e525bf6262559a355435f (diff) |
Relying on Vernac classifier to flag tactics in the STM.
Diffstat (limited to 'parsing/tok.ml')
0 files changed, 0 insertions, 0 deletions