diff options
author | 1999-10-06 10:52:43 +0000 | |
---|---|---|
committer | 1999-10-06 10:52:43 +0000 | |
commit | e0706d87ee5550e452c964fffb240aa74a2aa9b7 (patch) | |
tree | 50185b1896042a1dda2ca8050237b20d2fad30b4 /coq/coq.el | |
parent | c3adbee017f79d6fac40c217e0a6efdfb377d5ce (diff) |
Note to use C-c C-s to solve Isabelle prob
Diffstat (limited to 'coq/coq.el')
0 files changed, 0 insertions, 0 deletions