diff options
| author | Maxime Dénès | 2020-05-16 17:07:37 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2020-06-02 18:53:33 +0200 |
| commit | 33021618a06a94563d28691940f02a55bd9d358d (patch) | |
| tree | 9d0cab0e9ffc2f1499ec1d49b142a758d7f80fee /.gitignore | |
| parent | db768e6828af62e06eb03d36509be6f8fc1efbf3 (diff) | |
Move CoqIDE to its own folder
The will make it possible to put a VsCoq toplevel in `ide/vscoq`.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/.gitignore b/.gitignore index adbf9dd189..0c7a8f70f6 100644 --- a/.gitignore +++ b/.gitignore @@ -121,14 +121,14 @@ doc/unreleased.rst coqpp/coqpp_lex.ml dev/ocamlweb-doc/lex.ml -ide/coq_lex.ml -ide/config_lexer.ml -ide/utf8_convert.ml +ide/coqide/coq_lex.ml +ide/coqide/config_lexer.ml +ide/coqide/utf8_convert.ml tools/coqwc.ml tools/coqdep_lexer.ml tools/ocamllibdep.ml tools/coqdoc/cpretty.ml -ide/protocol/xml_lexer.ml +ide/coqide/protocol/xml_lexer.ml # .mly files @@ -143,7 +143,7 @@ plugins/ltac/coretactics.ml plugins/ltac/extratactics.ml plugins/ltac/extraargs.ml plugins/ltac/profile_ltac_tactics.ml -ide/coqide_os_specific.ml +ide/coqide/coqide_os_specific.ml plugins/ssrmatching/ssrmatching.ml plugins/ssr/ssrparser.ml plugins/ssr/ssrvernac.ml @@ -155,9 +155,9 @@ kernel/byterun/coq_jumptbl.h kernel/genOpcodeFiles.exe kernel/copcodes.ml kernel/uint63.ml -ide/default.bindings -ide/default_bindings_src.exe -ide/index_urls.txt +ide/coqide/default.bindings +ide/coqide/default_bindings_src.exe +ide/coqide/index_urls.txt .lia.cache .nia.cache @@ -187,4 +187,4 @@ META.coq *.install !Makefile.install -ide/coqide.keys +ide/coqide/coqide.keys |