diff options
| author | Enrico Tassi | 2015-02-03 13:41:33 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-02-11 14:23:45 +0100 |
| commit | 0fb3920ef4f40752de539af998e85e57bcedc55c (patch) | |
| tree | b7b434ee7a2ab90466c7bc6d0f607466bedb1cfe /lib | |
| parent | 377860b90b10bdbedad298e705eb4931b16dba1d (diff) | |
Tactic Notation: use stable unique key for notations (Close: 3970)
This is a fixup of commit 2e09a22b that used uniquely generated kernel names
but forgot to substitute them.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions