diff options
| author | Pierre-Marie Pédrot | 2017-08-27 20:22:12 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-08-27 20:22:12 +0200 |
| commit | e430e9823960a136ee65c5977d89113574413449 (patch) | |
| tree | e71544176aa458f2d95005a68aa677aa344460ed /src/ltac2_plugin.mlpack | |
| parent | 4c822dbb1c01139e95c165515777703263806ec1 (diff) | |
Fix semantics of the solve tactical.
Diffstat (limited to 'src/ltac2_plugin.mlpack')
0 files changed, 0 insertions, 0 deletions