diff options
author | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-02-17 13:35:16 +0100 |
---|---|---|
committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-02-17 13:35:16 +0100 |
commit | 3b49e85621e87ff9c20fc26e2d2ea1b55a87eb1c (patch) | |
tree | 2edcfcfa8cb61390b8464b8e0ef4dd50e63b1e53 /ide/coq.ml | |
parent | abd83cffe1afe6745775c67b8c827038e295a1d2 (diff) |
[nanoPG]: emacs like copy/paste
Diffstat (limited to 'ide/coq.ml')
0 files changed, 0 insertions, 0 deletions