Damien Doligez
def31744f9
remove all $Id keywords
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-15 17:50:56 +00:00
Damien Doligez
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
Damien Doligez
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
Damien Doligez
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
Damien Doligez
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
Didier Rémy
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
Didier Rémy
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
Didier Rémy
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
Didier Rémy
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
Didier Rémy
7403b73fb9
caml-xemacs.el
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5752 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-28 18:07:11 +00:00