diff options
| author | Erik Martin-Dorel | 2017-03-03 12:38:58 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel | 2017-03-03 12:41:08 +0100 |
| commit | 12a780564aa7e5d936ebe5d9abcde5b28281f304 (patch) | |
| tree | a296a7f4c1f0928761d2c5ea4991034d8d4a1d99 /isar/Example.thy | |
| parent | a1278112e8a613069bbfb9fa47bee2b9089efd4a (diff) | |
Remove default key-binding for proof-electric-terminator-toggle.
Close ProofGeneral/PG#160
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions