diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2013-12-10 10:22:03 +0100 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2013-12-10 10:22:03 +0100 |
| commit | 3e972b3ff8e532be233f70567c87512324c99b4e (patch) | |
| tree | 78ab9cde76b6b98a649c869784767eda11d6dfe0 /tools | |
| parent | 0b4de5132a8fcda6dafe836dd249a4fc69b400fc (diff) | |
Renaming elisp files to avoid conflict with pg in distribs.
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/gallina-db.el (renamed from tools/coq-db.el) | 0 | ||||
| -rw-r--r-- | tools/gallina-syntax.el (renamed from tools/coq-syntax.el) | 0 | ||||
| -rw-r--r-- | tools/gallina.el (renamed from tools/coq.el) | 0 |
3 files changed, 0 insertions, 0 deletions
diff --git a/tools/coq-db.el b/tools/gallina-db.el index 5081b10b6..5081b10b6 100644 --- a/tools/coq-db.el +++ b/tools/gallina-db.el diff --git a/tools/coq-syntax.el b/tools/gallina-syntax.el index 8630fb3a9..8630fb3a9 100644 --- a/tools/coq-syntax.el +++ b/tools/gallina-syntax.el diff --git a/tools/coq.el b/tools/gallina.el index f4c4b033d..f4c4b033d 100644 --- a/tools/coq.el +++ b/tools/gallina.el |