Move CoqIDE to its own folder

The will make it possible to put a VsCoq toplevel in `ide/vscoq`.

107 files changed, 1 insertions, 1 deletions

diff --git a/ide/coq_icon.rc b/ide/coq_icon.rc
deleted file mode 100644
index f873e7de11..0000000000
--- a/ide/coq_icon.rc
+++ /dev/null
@@ -1 +0,0 @@
-large   ICON    ide/coq.ico
diff --git a/ide/FAQ b/ide/coqide/FAQ
index c8b0a5d328..c8b0a5d328 100644
--- a/ide/FAQ
+++ b/ide/coqide/FAQ
diff --git a/ide/MacOS/Info.plist.template b/ide/coqide/MacOS/Info.plist.template
index e4fb0e5980..e4fb0e5980 100644
--- a/ide/MacOS/Info.plist.template
+++ b/ide/coqide/MacOS/Info.plist.template
diff --git a/ide/MacOS/coqfile.icns b/ide/coqide/MacOS/coqfile.icns
index 107e70431d..107e70431d 100644
--- a/ide/MacOS/coqfile.icns
+++ b/ide/coqide/MacOS/coqfile.icns
diff --git a/ide/MacOS/coqide.icns b/ide/coqide/MacOS/coqide.icns
index 92bdfe773f..92bdfe773f 100644
--- a/ide/MacOS/coqide.icns
+++ b/ide/coqide/MacOS/coqide.icns
diff --git a/ide/Make b/ide/coqide/Make
index c0881ca392..c0881ca392 100644
--- a/ide/Make
+++ b/ide/coqide/Make
diff --git a/ide/config_lexer.mli b/ide/coqide/config_lexer.mli
index 196192d5be..196192d5be 100644
--- a/ide/config_lexer.mli
+++ b/ide/coqide/config_lexer.mli
diff --git a/ide/config_lexer.mll b/ide/coqide/config_lexer.mll
index 4ef9a1fafd..4ef9a1fafd 100644
--- a/ide/config_lexer.mll
+++ b/ide/coqide/config_lexer.mll
diff --git a/ide/configwin.ml b/ide/coqide/configwin.ml
index 79a1eae880..79a1eae880 100644
--- a/ide/configwin.ml
+++ b/ide/coqide/configwin.ml
diff --git a/ide/configwin.mli b/ide/coqide/configwin.mli
index b5c3e74aec..b5c3e74aec 100644
--- a/ide/configwin.mli
+++ b/ide/coqide/configwin.mli
diff --git a/ide/configwin_ihm.ml b/ide/coqide/configwin_ihm.ml
index e768131dcf..e768131dcf 100644
--- a/ide/configwin_ihm.ml
+++ b/ide/coqide/configwin_ihm.ml
diff --git a/ide/configwin_ihm.mli b/ide/coqide/configwin_ihm.mli
index ce6cd4d7c1..ce6cd4d7c1 100644
--- a/ide/configwin_ihm.mli
+++ b/ide/coqide/configwin_ihm.mli
diff --git a/ide/configwin_messages.ml b/ide/coqide/configwin_messages.ml
index de1b4721d0..de1b4721d0 100644
--- a/ide/configwin_messages.ml
+++ b/ide/coqide/configwin_messages.ml
diff --git a/ide/configwin_types.ml b/ide/coqide/configwin_types.ml
index 711eccd08e..711eccd08e 100644
--- a/ide/configwin_types.ml
+++ b/ide/coqide/configwin_types.ml
diff --git a/ide/coq-ssreflect.lang b/ide/coqide/coq-ssreflect.lang
index fc7bc64a68..fc7bc64a68 100644
--- a/ide/coq-ssreflect.lang
+++ b/ide/coqide/coq-ssreflect.lang
diff --git a/ide/coq.ico b/ide/coqide/coq.ico
index 94ce897d17..94ce897d17 100644
--- a/ide/coq.ico
+++ b/ide/coqide/coq.ico
diff --git a/ide/coq.lang b/ide/coqide/coq.lang
index e9eab48de7..e9eab48de7 100644
--- a/ide/coq.lang
+++ b/ide/coqide/coq.lang
diff --git a/ide/coq.ml b/ide/coqide/coq.ml
index 57cdccce6d..57cdccce6d 100644
--- a/ide/coq.ml
+++ b/ide/coqide/coq.ml
diff --git a/ide/coq.mli b/ide/coqide/coq.mli
index 82df36c91c..82df36c91c 100644
--- a/ide/coq.mli
+++ b/ide/coqide/coq.mli
diff --git a/ide/coq.png b/ide/coqide/coq.png
index 136bfdd5fe..136bfdd5fe 100644
--- a/ide/coq.png
+++ b/ide/coqide/coq.png
diff --git a/ide/coq2.ico b/ide/coqide/coq2.ico
index bc1732fd99..bc1732fd99 100644
--- a/ide/coq2.ico
+++ b/ide/coqide/coq2.ico
diff --git a/ide/coqOps.ml b/ide/coqide/coqOps.ml
index 29ea3ce9ea..29ea3ce9ea 100644
--- a/ide/coqOps.ml
+++ b/ide/coqide/coqOps.ml
diff --git a/ide/coqOps.mli b/ide/coqide/coqOps.mli
index 3a4678ae9c..3a4678ae9c 100644
--- a/ide/coqOps.mli
+++ b/ide/coqide/coqOps.mli
diff --git a/ide/coq_commands.ml b/ide/coqide/coq_commands.ml
index 711986c2b2..711986c2b2 100644
--- a/ide/coq_commands.ml
+++ b/ide/coqide/coq_commands.ml
diff --git a/ide/coq_commands.mli b/ide/coqide/coq_commands.mli
index 4fa30bbe46..4fa30bbe46 100644
--- a/ide/coq_commands.mli
+++ b/ide/coqide/coq_commands.mli
diff --git a/ide/coqide/coq_icon.rc b/ide/coqide/coq_icon.rc
new file mode 100644
index 0000000000..3e8b8aaecc
--- /dev/null
+++ b/ide/coqide/coq_icon.rc
@@ -0,0 +1 @@
+large   ICON    ide/coqide/coq.ico
diff --git a/ide/coq_lex.mli b/ide/coqide/coq_lex.mli
index 142dd6e92c..142dd6e92c 100644
--- a/ide/coq_lex.mli
+++ b/ide/coqide/coq_lex.mli
diff --git a/ide/coq_lex.mll b/ide/coqide/coq_lex.mll
index fe9f108a94..fe9f108a94 100644
--- a/ide/coq_lex.mll
+++ b/ide/coqide/coq_lex.mll
diff --git a/ide/coq_style.xml b/ide/coqide/coq_style.xml
index 67631d3462..67631d3462 100644
--- a/ide/coq_style.xml
+++ b/ide/coqide/coq_style.xml
diff --git a/ide/coqide.ml b/ide/coqide/coqide.ml
index ab2a17798e..ab2a17798e 100644
--- a/ide/coqide.ml
+++ b/ide/coqide/coqide.ml
diff --git a/ide/coqide.mli b/ide/coqide/coqide.mli
index ac92afed1f..ac92afed1f 100644
--- a/ide/coqide.mli
+++ b/ide/coqide/coqide.mli
diff --git a/ide/coqide_QUARTZ.ml.in b/ide/coqide/coqide_QUARTZ.ml.in
index fe35906bdc..fe35906bdc 100644
--- a/ide/coqide_QUARTZ.ml.in
+++ b/ide/coqide/coqide_QUARTZ.ml.in
diff --git a/ide/coqide_WIN32.ml.in b/ide/coqide/coqide_WIN32.ml.in
index be8aab9e49..be8aab9e49 100644
--- a/ide/coqide_WIN32.ml.in
+++ b/ide/coqide/coqide_WIN32.ml.in
diff --git a/ide/coqide_X11.ml.in b/ide/coqide/coqide_X11.ml.in
index 76cd880ddc..76cd880ddc 100644
--- a/ide/coqide_X11.ml.in
+++ b/ide/coqide/coqide_X11.ml.in
diff --git a/ide/coqide_main.ml b/ide/coqide/coqide_main.ml
index 0812e00960..0812e00960 100644
--- a/ide/coqide_main.ml
+++ b/ide/coqide/coqide_main.ml
diff --git a/ide/coqide_main.mli b/ide/coqide/coqide_main.mli
index eeb4eb64bd..eeb4eb64bd 100644
--- a/ide/coqide_main.mli
+++ b/ide/coqide/coqide_main.mli
diff --git a/ide/coqide_os_specific.mli b/ide/coqide/coqide_os_specific.mli
index b86800dd50..b86800dd50 100644
--- a/ide/coqide_os_specific.mli
+++ b/ide/coqide/coqide_os_specific.mli
diff --git a/ide/coqide_ui.ml b/ide/coqide/coqide_ui.ml
index e9ff1bbba1..e9ff1bbba1 100644
--- a/ide/coqide_ui.ml
+++ b/ide/coqide/coqide_ui.ml
diff --git a/ide/coqide_ui.mli b/ide/coqide/coqide_ui.mli
index 9e4606072d..9e4606072d 100644
--- a/ide/coqide_ui.mli
+++ b/ide/coqide/coqide_ui.mli
diff --git a/ide/default_bindings_src.ml b/ide/coqide/default_bindings_src.ml
index a69a7c2aba..a69a7c2aba 100644
--- a/ide/default_bindings_src.ml
+++ b/ide/coqide/default_bindings_src.ml
diff --git a/ide/document.ml b/ide/coqide/document.ml
index 096c4940fa..096c4940fa 100644
--- a/ide/document.ml
+++ b/ide/coqide/document.ml
diff --git a/ide/document.mli b/ide/coqide/document.mli
index b7f23115f6..b7f23115f6 100644
--- a/ide/document.mli
+++ b/ide/coqide/document.mli
diff --git a/ide/dune b/ide/coqide/dune
index 12bad7ebc4..12bad7ebc4 100644
--- a/ide/dune
+++ b/ide/coqide/dune
diff --git a/ide/fake_ide.ml b/ide/coqide/fake_ide.ml
index e1736a5fe0..e1736a5fe0 100644
--- a/ide/fake_ide.ml
+++ b/ide/coqide/fake_ide.ml
diff --git a/ide/fileOps.ml b/ide/coqide/fileOps.ml
index 0ac14167e5..0ac14167e5 100644
--- a/ide/fileOps.ml
+++ b/ide/coqide/fileOps.ml
diff --git a/ide/fileOps.mli b/ide/coqide/fileOps.mli
index cf8084af5c..cf8084af5c 100644
--- a/ide/fileOps.mli
+++ b/ide/coqide/fileOps.mli
diff --git a/ide/gtk_parsing.ml b/ide/coqide/gtk_parsing.ml
index decd24d407..decd24d407 100644
--- a/ide/gtk_parsing.ml
+++ b/ide/coqide/gtk_parsing.ml
diff --git a/ide/gtk_parsing.mli b/ide/coqide/gtk_parsing.mli
index 501afde8ac..501afde8ac 100644
--- a/ide/gtk_parsing.mli
+++ b/ide/coqide/gtk_parsing.mli
diff --git a/ide/ide.mllib b/ide/coqide/ide.mllib
index f8e8ff48d6..f8e8ff48d6 100644
--- a/ide/ide.mllib
+++ b/ide/coqide/ide.mllib
diff --git a/ide/ide_common.mllib b/ide/coqide/ide_common.mllib
index 050c282ef6..050c282ef6 100644
--- a/ide/ide_common.mllib
+++ b/ide/coqide/ide_common.mllib
diff --git a/ide/ide_win32_stubs.c b/ide/coqide/ide_win32_stubs.c
index f430c9f2b6..f430c9f2b6 100644
--- a/ide/ide_win32_stubs.c
+++ b/ide/coqide/ide_win32_stubs.c
diff --git a/ide/idetop.ml b/ide/coqide/idetop.ml
index bd99cbed1b..bd99cbed1b 100644
--- a/ide/idetop.ml
+++ b/ide/coqide/idetop.ml
diff --git a/ide/ideutils.ml b/ide/coqide/ideutils.ml
index 482cecc1f8..482cecc1f8 100644
--- a/ide/ideutils.ml
+++ b/ide/coqide/ideutils.ml
diff --git a/ide/ideutils.mli b/ide/coqide/ideutils.mli
index 9a17eb1402..9a17eb1402 100644
--- a/ide/ideutils.mli
+++ b/ide/coqide/ideutils.mli
diff --git a/ide/macos_prehook.ml b/ide/coqide/macos_prehook.ml
index dc8fd0e85d..dc8fd0e85d 100644
--- a/ide/macos_prehook.ml
+++ b/ide/coqide/macos_prehook.ml
diff --git a/ide/macos_prehook.mli b/ide/coqide/macos_prehook.mli
index eeb4eb64bd..eeb4eb64bd 100644
--- a/ide/macos_prehook.mli
+++ b/ide/coqide/macos_prehook.mli
diff --git a/ide/microPG.ml b/ide/coqide/microPG.ml
index 5a4871b70a..5a4871b70a 100644
--- a/ide/microPG.ml
+++ b/ide/coqide/microPG.ml
diff --git a/ide/microPG.mli b/ide/coqide/microPG.mli
index f79a52f0ef..f79a52f0ef 100644
--- a/ide/microPG.mli
+++ b/ide/coqide/microPG.mli
diff --git a/ide/minilib.ml b/ide/coqide/minilib.ml
index cb7a590bd6..cb7a590bd6 100644
--- a/ide/minilib.ml
+++ b/ide/coqide/minilib.ml
diff --git a/ide/minilib.mli b/ide/coqide/minilib.mli
index 1c3be00817..1c3be00817 100644
--- a/ide/minilib.mli
+++ b/ide/coqide/minilib.mli
diff --git a/ide/preferences.ml b/ide/coqide/preferences.ml
index 5a77f4ebcf..5a77f4ebcf 100644
--- a/ide/preferences.ml
+++ b/ide/coqide/preferences.ml
diff --git a/ide/preferences.mli b/ide/coqide/preferences.mli
index 895d7a7876..895d7a7876 100644
--- a/ide/preferences.mli
+++ b/ide/coqide/preferences.mli
diff --git a/ide/protocol/dune b/ide/coqide/protocol/dune
index 801ceb20ec..801ceb20ec 100644
--- a/ide/protocol/dune
+++ b/ide/coqide/protocol/dune
diff --git a/ide/protocol/ideprotocol.mllib b/ide/coqide/protocol/ideprotocol.mllib
index 8317a08681..8317a08681 100644
--- a/ide/protocol/ideprotocol.mllib
+++ b/ide/coqide/protocol/ideprotocol.mllib
diff --git a/ide/protocol/interface.ml b/ide/coqide/protocol/interface.ml
index 646012dcaa..646012dcaa 100644
--- a/ide/protocol/interface.ml
+++ b/ide/coqide/protocol/interface.ml
diff --git a/ide/protocol/richpp.ml b/ide/coqide/protocol/richpp.ml
index 7aa38792fc..7aa38792fc 100644
--- a/ide/protocol/richpp.ml
+++ b/ide/coqide/protocol/richpp.ml
diff --git a/ide/protocol/richpp.mli b/ide/coqide/protocol/richpp.mli
index 3b83e7b15c..3b83e7b15c 100644
--- a/ide/protocol/richpp.mli
+++ b/ide/coqide/protocol/richpp.mli
diff --git a/ide/protocol/serialize.ml b/ide/coqide/protocol/serialize.ml
index bdbec5b30f..bdbec5b30f 100644
--- a/ide/protocol/serialize.ml
+++ b/ide/coqide/protocol/serialize.ml
diff --git a/ide/protocol/serialize.mli b/ide/coqide/protocol/serialize.mli
index 5d88defe55..5d88defe55 100644
--- a/ide/protocol/serialize.mli
+++ b/ide/coqide/protocol/serialize.mli
diff --git a/ide/protocol/xml_lexer.mli b/ide/coqide/protocol/xml_lexer.mli
index 920de9f9c3..920de9f9c3 100644
--- a/ide/protocol/xml_lexer.mli
+++ b/ide/coqide/protocol/xml_lexer.mli
diff --git a/ide/protocol/xml_lexer.mll b/ide/coqide/protocol/xml_lexer.mll
index e8bf7e16ae..e8bf7e16ae 100644
--- a/ide/protocol/xml_lexer.mll
+++ b/ide/coqide/protocol/xml_lexer.mll
diff --git a/ide/protocol/xml_parser.ml b/ide/coqide/protocol/xml_parser.ml
index 8db3f9e8ba..8db3f9e8ba 100644
--- a/ide/protocol/xml_parser.ml
+++ b/ide/coqide/protocol/xml_parser.ml
diff --git a/ide/protocol/xml_parser.mli b/ide/coqide/protocol/xml_parser.mli
index ac2eab352f..ac2eab352f 100644
--- a/ide/protocol/xml_parser.mli
+++ b/ide/coqide/protocol/xml_parser.mli
diff --git a/ide/protocol/xml_printer.ml b/ide/coqide/protocol/xml_printer.ml
index f526618a6e..f526618a6e 100644
--- a/ide/protocol/xml_printer.ml
+++ b/ide/coqide/protocol/xml_printer.ml
diff --git a/ide/protocol/xml_printer.mli b/ide/coqide/protocol/xml_printer.mli
index e60e3392ed..e60e3392ed 100644
--- a/ide/protocol/xml_printer.mli
+++ b/ide/coqide/protocol/xml_printer.mli
diff --git a/ide/protocol/xmlprotocol.ml b/ide/coqide/protocol/xmlprotocol.ml
index 6cb0cec008..6cb0cec008 100644
--- a/ide/protocol/xmlprotocol.ml
+++ b/ide/coqide/protocol/xmlprotocol.ml
diff --git a/ide/protocol/xmlprotocol.mli b/ide/coqide/protocol/xmlprotocol.mli
index 44584d44d7..44584d44d7 100644
--- a/ide/protocol/xmlprotocol.mli
+++ b/ide/coqide/protocol/xmlprotocol.mli
diff --git a/ide/sentence.ml b/ide/coqide/sentence.ml
index 2e00342473..2e00342473 100644
--- a/ide/sentence.ml
+++ b/ide/coqide/sentence.ml
diff --git a/ide/sentence.mli b/ide/coqide/sentence.mli
index adaa7c5d2f..adaa7c5d2f 100644
--- a/ide/sentence.mli
+++ b/ide/coqide/sentence.mli
diff --git a/ide/session.ml b/ide/coqide/session.ml
index 09391b7f50..09391b7f50 100644
--- a/ide/session.ml
+++ b/ide/coqide/session.ml
diff --git a/ide/session.mli b/ide/coqide/session.mli
index 9c0a8760c3..9c0a8760c3 100644
--- a/ide/session.mli
+++ b/ide/coqide/session.mli
diff --git a/ide/tags.ml b/ide/coqide/tags.ml
index 82e63e84a5..82e63e84a5 100644
--- a/ide/tags.ml
+++ b/ide/coqide/tags.ml
diff --git a/ide/tags.mli b/ide/coqide/tags.mli
index 61109c6d60..61109c6d60 100644
--- a/ide/tags.mli
+++ b/ide/coqide/tags.mli
diff --git a/ide/unicode_bindings.ml b/ide/coqide/unicode_bindings.ml
index 39d58825df..39d58825df 100644
--- a/ide/unicode_bindings.ml
+++ b/ide/coqide/unicode_bindings.ml
diff --git a/ide/unicode_bindings.mli b/ide/coqide/unicode_bindings.mli
index 30c6d91fa0..30c6d91fa0 100644
--- a/ide/unicode_bindings.mli
+++ b/ide/coqide/unicode_bindings.mli
diff --git a/ide/utf8_convert.mli b/ide/coqide/utf8_convert.mli
index f1d8aedecb..f1d8aedecb 100644
--- a/ide/utf8_convert.mli
+++ b/ide/coqide/utf8_convert.mli
diff --git a/ide/utf8_convert.mll b/ide/coqide/utf8_convert.mll
index db02bd8116..db02bd8116 100644
--- a/ide/utf8_convert.mll
+++ b/ide/coqide/utf8_convert.mll
diff --git a/ide/wg_Command.ml b/ide/coqide/wg_Command.ml
index 30924adc4a..30924adc4a 100644
--- a/ide/wg_Command.ml
+++ b/ide/coqide/wg_Command.ml
diff --git a/ide/wg_Command.mli b/ide/coqide/wg_Command.mli
index e2854cc6d5..e2854cc6d5 100644
--- a/ide/wg_Command.mli
+++ b/ide/coqide/wg_Command.mli
diff --git a/ide/wg_Completion.ml b/ide/coqide/wg_Completion.ml
index cc24e71386..cc24e71386 100644
--- a/ide/wg_Completion.ml
+++ b/ide/coqide/wg_Completion.ml
diff --git a/ide/wg_Completion.mli b/ide/coqide/wg_Completion.mli
index 8bb34fbbca..8bb34fbbca 100644
--- a/ide/wg_Completion.mli
+++ b/ide/coqide/wg_Completion.mli
diff --git a/ide/wg_Detachable.ml b/ide/coqide/wg_Detachable.ml
index efb10293bd..efb10293bd 100644
--- a/ide/wg_Detachable.ml
+++ b/ide/coqide/wg_Detachable.ml
diff --git a/ide/wg_Detachable.mli b/ide/coqide/wg_Detachable.mli
index 09b4ac732d..09b4ac732d 100644
--- a/ide/wg_Detachable.mli
+++ b/ide/coqide/wg_Detachable.mli
diff --git a/ide/wg_Find.ml b/ide/coqide/wg_Find.ml
index 7e89191bd1..7e89191bd1 100644
--- a/ide/wg_Find.ml
+++ b/ide/coqide/wg_Find.ml
diff --git a/ide/wg_Find.mli b/ide/coqide/wg_Find.mli
index 2a26230a6a..2a26230a6a 100644
--- a/ide/wg_Find.mli
+++ b/ide/coqide/wg_Find.mli
diff --git a/ide/wg_MessageView.ml b/ide/coqide/wg_MessageView.ml
index 6e22172d05..6e22172d05 100644
--- a/ide/wg_MessageView.ml
+++ b/ide/coqide/wg_MessageView.ml
diff --git a/ide/wg_MessageView.mli b/ide/coqide/wg_MessageView.mli
index 054dd0e571..054dd0e571 100644
--- a/ide/wg_MessageView.mli
+++ b/ide/coqide/wg_MessageView.mli
diff --git a/ide/wg_Notebook.ml b/ide/coqide/wg_Notebook.ml
index 9662880210..9662880210 100644
--- a/ide/wg_Notebook.ml
+++ b/ide/coqide/wg_Notebook.ml
diff --git a/ide/wg_Notebook.mli b/ide/coqide/wg_Notebook.mli
index d3907f43ad..d3907f43ad 100644
--- a/ide/wg_Notebook.mli
+++ b/ide/coqide/wg_Notebook.mli
diff --git a/ide/wg_ProofView.ml b/ide/coqide/wg_ProofView.ml
index 1de63953af..1de63953af 100644
--- a/ide/wg_ProofView.ml
+++ b/ide/coqide/wg_ProofView.ml
diff --git a/ide/wg_ProofView.mli b/ide/coqide/wg_ProofView.mli
index 8217f72066..8217f72066 100644
--- a/ide/wg_ProofView.mli
+++ b/ide/coqide/wg_ProofView.mli
diff --git a/ide/wg_RoutedMessageViews.ml b/ide/coqide/wg_RoutedMessageViews.ml
index f141343c5d..f141343c5d 100644
--- a/ide/wg_RoutedMessageViews.ml
+++ b/ide/coqide/wg_RoutedMessageViews.ml
diff --git a/ide/wg_RoutedMessageViews.mli b/ide/coqide/wg_RoutedMessageViews.mli
index bf9893852a..bf9893852a 100644
--- a/ide/wg_RoutedMessageViews.mli
+++ b/ide/coqide/wg_RoutedMessageViews.mli
diff --git a/ide/wg_ScriptView.ml b/ide/coqide/wg_ScriptView.ml
index 62d58a5f23..62d58a5f23 100644
--- a/ide/wg_ScriptView.ml
+++ b/ide/coqide/wg_ScriptView.ml
diff --git a/ide/wg_ScriptView.mli b/ide/coqide/wg_ScriptView.mli
index 849c308941..849c308941 100644
--- a/ide/wg_ScriptView.mli
+++ b/ide/coqide/wg_ScriptView.mli
diff --git a/ide/wg_Segment.ml b/ide/coqide/wg_Segment.ml
index f115da662e..f115da662e 100644
--- a/ide/wg_Segment.ml
+++ b/ide/coqide/wg_Segment.ml
diff --git a/ide/wg_Segment.mli b/ide/coqide/wg_Segment.mli
index 9464b596e5..9464b596e5 100644
--- a/ide/wg_Segment.mli
+++ b/ide/coqide/wg_Segment.mli