coq/ide/uim, branch master

TeX input method is now supported upstream

2010-10-07T15:07:27+00:00

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

Updated all headers for 8.3 and trunk

2010-07-24T15:57:30+00:00

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

Adding uim files

2010-02-18T17:59:32+00:00

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

Polishing the setup of CoqIDE Input Method

2010-02-18T17:57:37+00:00

autodetection via ./configure, automated installation target
"install-im", and no more patching. Plus documentation of the procedure
in the reference manual.

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

Patches and instructions to enable Input Method support in CoqIDE.

2009-12-21T16:57:21+00:00

TODO: don't patch the ELatin IM, create a separate IM or push the patch
upstream.

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