816ac58196
PR#5176: caml-types.el: large types trigger stack overflow in regexp matcher
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12119 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-03 20:37:26 +00:00
3b507dd1aa
renaming of Objective Caml to OCaml and cleanup of copyright headers
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-27 14:17:02 +00:00
c91db736b1
merge changes from 3.12.0 to 3.12.1
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11123 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-20 09:17:07 +00:00
486270b604
Undoing last commit by error.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10609 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-06-29 12:15:52 +00:00
abf1ca980c
Fixed caml-help (would loose the position of the symbol search for).
...
Added highlighting of the symbol searched for.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10608 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-06-29 12:12:24 +00:00
bdc0fadee2
merge changes from release/3.11.1 to release/3.11.2
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9540 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-01-20 16:26:46 +00:00
50da157513
amelioration des annotations
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8959 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-07-29 15:49:31 +00:00
7ca1d89250
amelioration des annotations
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8958 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-07-29 15:42:44 +00:00
9ea5edac9a
merge changes 3.10.0 -> 3.10.1
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8768 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-01-11 16:13:18 +00:00
9d7b5513e3
petit problem de doc
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8413 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-10-08 12:27:15 +00:00
1dd68ccf50
ajout des annotations pour variables et appels terminaux
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8232 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-05-16 08:21:41 +00:00
f700284aac
fusion des changements 3.09.3 -> release309_merge310
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7849 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-02-09 13:31:15 +00:00
a4a3c10e70
fusion des modifs de 3.08.4
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7019 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-08-13 20:59:37 +00:00
e6007f6057
fusion des changements jusqu'a 3.08.3
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6824 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-03-24 17:20:54 +00:00
c3a39fc8c8
Fusion des modifs de la branche release308 entre 3.08.0 et 3.08.1
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6612 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-08-20 17:04:35 +00:00
db2dbeca8a
commentaires
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5877 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-21 07:36:06 +00:00
1637b4b413
Retrait des messages de debugging...
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5876 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-20 12:10:41 +00:00
7cbb6ca64b
caml-types:
...
- largest typed region is now dynamically recomputed.
- changed binding to C-down-mouse-1 (allow other bindings).
- allow scrolling when mouse is moved to bottom or top of window.
- ignore key events, out of frame-motion, and wait for mouse release.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5875 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-20 12:06:42 +00:00
09701dc6b5
petits bugs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5865 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-11 00:00:14 +00:00
8088053d8c
caml-types: mouse track + little things
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5864 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-10-10 13:25:38 +00:00
5e6d996259
Fix hilitghting of largest well-typed expr surrounding point.
...
Cancel exploration outside of this region.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5824 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-09-05 18:01:46 +00:00
3fc3a33882
pour que ca marche avec camlp4
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5820 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-09-04 17:38:13 +00:00
ea9e26ff73
compatibilite emacs 20 + fichiers read-only
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5802 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-08-25 15:01:20 +00:00
312e62e4de
Modified `caml-types-explore' so that all well-typed subexpressions of the
...
current phrase are colored during exploration. -Didier
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5760 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-29 16:44:56 +00:00
2f8d5ba5f6
changed defmacro -> defalias
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5754 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-29 07:30:03 +00:00
066b0b1391
added caml-emacs.el
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5753 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-29 06:54:28 +00:00
f9d0ac0c87
- added file caml-xemacs.el for XEmacs compatibility.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5751 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-28 18:06:49 +00:00
59661392ed
hash-table des annotations
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5750 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-28 15:19:15 +00:00
c5e5e7f0f2
bricoles
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5743 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-25 21:51:51 +00:00
9a52b96cdf
duh
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5741 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-25 19:23:28 +00:00
f429328d8e
plus rapide
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5740 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-25 19:12:50 +00:00
8040c5d803
utilisation d'un arbre
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5738 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-25 17:59:59 +00:00
012cd6e769
petit nettoyage
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5734 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-24 14:16:26 +00:00
10a0767fda
Changes to caml-types.el:
...
- added mouse exploration
- revert annotation buffer when changed
- narrow annotation buffer
- added prefix arg to show annotation buffer
Changers to ocaml.el:
- made caml-types and caml-help autoloaded.
- move bindings from caml-help and caml-types into caml.el
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5732 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-24 08:46:52 +00:00
bdda8e194a
integration de caml-types a caml.el
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5725 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-23 14:20:33 +00:00
c4fc5cf1f0
Scrolling .annot
...
Delete overlays.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5724 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-23 13:44:25 +00:00
7907414f8f
changement .types -> .annot + format
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5594 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-06-12 12:52:17 +00:00
1506806031
ajout -dtypes
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5504 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-04-22 14:11:57 +00:00
1e16182dc0
amelioration des locations
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5500 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-04-06 12:45:03 +00:00
5c965b417c
verifier que le buffer est a jour
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5496 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-04-04 11:51:21 +00:00
a51ea25db1
-stypes -> -dtypes; meilleur mode emacs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5494 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-04-03 13:59:38 +00:00
3cafa26017
amelioration .mly .mll
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5490 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-04-02 16:39:59 +00:00
09ba0ddf30
ajout choses a faire
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5486 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-04-02 12:47:18 +00:00
43b02185d7
ajout option -stypes; depend
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5478 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-04-02 01:32:09 +00:00
Damien Doligez
Didier Rémy