diff options
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 5081b10b6c..5081b10b6c 100644 --- a/tools/coq-db.el +++ b/tools/gallina-db.el diff --git a/tools/coq-syntax.el b/tools/gallina-syntax.el index 8630fb3a9c..8630fb3a9c 100644 --- a/tools/coq-syntax.el +++ b/tools/gallina-syntax.el diff --git a/tools/coq.el b/tools/gallina.el index f4c4b033d3..f4c4b033d3 100644 --- a/tools/coq.el +++ b/tools/gallina.el |