diff options
author | 2000-08-03 16:52:09 +0000 | |
---|---|---|
committer | 2000-08-03 16:52:09 +0000 | |
commit | e513f14c6b12589cae2ebb9557a920900eb7900a (patch) | |
tree | 05671a302c33f9936596ab84da2170c25986df59 /coq/coq-syntax.el | |
parent | 05369d6fea569e81da8b1af708f9241b5ac74287 (diff) |
x-symbol-isabelle-electric-ignore: include [[ ]];
Diffstat (limited to 'coq/coq-syntax.el')
0 files changed, 0 insertions, 0 deletions