diff options
-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 |