coq/ide/FAQ, branch master The formal proof system Move CoqIDE to its own folder 2020-06-02T16:53:33+00:00 Maxime Dénès 2020-05-16T15:07:37+00:00 33021618a06a94563d28691940f02a55bd9d358d The will make it possible to put a VsCoq toplevel in `ide/vscoq`. 
The will make it possible to put a VsCoq toplevel in `ide/vscoq`.
Fix typos. 2016-01-01T22:47:59+00:00 Guillaume Melquiond 2016-01-01T22:47:59+00:00 d5b1807e65f7ea29d435c3f894aa551370c5989f 






Removed the quasi-useless gtk2rc file and the documentation that went with it. Now CoqIDE is not anymore totally irrespectful of the local configuration of themes, in particular w.r.t. to menu fonts.
2012-04-27T15:31:30+00:00

ppedrot

2012-04-27T15:31:30+00:00

bbf334b38ae4c57b4d619a8f98acc488077efca4

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15251 85f007b7-540e-0410-9357-904b9bb8a0f7





git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15251 85f007b7-540e-0410-9357-904b9bb8a0f7







CoqIdE configuration file won't pollute your home anymore
2011-11-20T20:03:01+00:00

pboutill

2011-11-20T20:03:01+00:00

6600b4e71cc82fc2a7c00e8dc1d4aa5ec1787cf7

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14694 85f007b7-540e-0410-9357-904b9bb8a0f7





git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14694 85f007b7-540e-0410-9357-904b9bb8a0f7







Remove references to -ide option of coqmktop
2011-01-11T19:12:06+00:00

glondu

2011-01-11T19:12:06+00:00

f661bda0849b0a3008e4dc1bba66addd0f84a571

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13789 85f007b7-540e-0410-9357-904b9bb8a0f7





git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13789 85f007b7-540e-0410-9357-904b9bb8a0f7







coqide utf8
2004-01-20T15:16:45+00:00

marche

2004-01-20T15:16:45+00:00

bcf576bfce86b1ef53e465caa3a4be83f00814bd

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5222 85f007b7-540e-0410-9357-904b9bb8a0f7





git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5222 85f007b7-540e-0410-9357-904b9bb8a0f7







Coqide : les nouveaute d'aout
2003-09-19T08:48:38+00:00

monate

2003-09-19T08:48:38+00:00

df0bf4b7226efb91b462221ca16463b7f5e93339

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4424 85f007b7-540e-0410-9357-904b9bb8a0f7





git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4424 85f007b7-540e-0410-9357-904b9bb8a0f7







configure pour CoqIde repare
2003-05-26T08:16:17+00:00

monate

2003-05-26T08:16:17+00:00

9d631dff827b656516d735159d39c72c0fddfc5f

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4076 85f007b7-540e-0410-9357-904b9bb8a0f7





git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4076 85f007b7-540e-0410-9357-904b9bb8a0f7







coqide: load/save file encoding support/
2003-05-14T12:09:29+00:00

monate

2003-05-14T12:09:29+00:00

05c1e8d802c326b28db14483390af2d83bd6d19a

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4021 85f007b7-540e-0410-9357-904b9bb8a0f7





git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4021 85f007b7-540e-0410-9357-904b9bb8a0f7







CoqIde: AccelMap support
2003-05-12T09:40:47+00:00

monate

2003-05-12T09:40:47+00:00

48c65efb870a84562bc0448474f804aa911b0698

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4001 85f007b7-540e-0410-9357-904b9bb8a0f7





git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4001 85f007b7-540e-0410-9357-904b9bb8a0f7