diff options
| author | Pierre-Marie Pédrot | 2014-05-24 14:40:50 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-05-24 15:10:17 +0200 |
| commit | b0364eff4ec8ad5676060d8ca9cdbbb1d9c34d04 (patch) | |
| tree | 5edfafa33d312bd827246271dd014cf56b3d4514 /kernel | |
| parent | 6252e413a81cb45a6b1f5f24b25ab1c5ab8d0de6 (diff) | |
Chasing the goal entering backward while interpreting tactics. This required
writing a new primitive recovering the first goal under focus. It sounds a bit
hackish, but it does actually work.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions