Jeremie Dimino
7125782c8b
allow to create the toplevel with debugging informations
...
Ignore-this: d993a5d1397aadd9d2d3d41f8dd122f3
darcs-hash:20110916110346-c41ad-6b6d5717082e90e291d57acb05b631feba5b5591
2011-09-16 13:03:46 +02:00
Jeremie Dimino
216686b89f
do not manage SIGINT
...
Ignore-this: 113a23f695ca40788c12279e64b19e9f
darcs-hash:20110828152450-c41ad-1d223ee84c2149921b1b938cf86b3e5671fbf634
2011-08-28 17:24:50 +02:00
Jeremie Dimino
5c7ce88938
fix LICENSE date
...
Ignore-this: 7fa554efde0713d1b070c232e1bcf441
darcs-hash:20110825082213-c41ad-6c2c752e83e2d86e03d618c5361cca7163420067
2011-08-25 10:22:13 +02:00
Jeremie Dimino
4b8ce2bf82
correctly handle the SIGINT signal
...
Ignore-this: ea0c2dbb5cba430cc586a66d26f094d1
darcs-hash:20110812211135-c41ad-ed9759f105d138c264cca67d0a0cdefda1a5f0a7
2011-08-12 23:11:35 +02:00
Jeremie Dimino
7a791ae5ef
use LTerm_text.stylise_parenthesis
...
Ignore-this: 89d793e3ecb8b555d195d7cdfeed0610
darcs-hash:20110809063116-c41ad-2ac81c5f65ec52f21883c5c8cb52383f62ba7c4e
2011-08-09 08:31:16 +02:00
Jeremie Dimino
1f9576e22c
version 1.1
...
Ignore-this: 28c69e0277b1ec0023b7ccdb4caff539
darcs-hash:20110806114014-c41ad-f18ec6b811c3d66b091160ed0b184ee8f21cbf0e
2011-08-06 13:40:14 +02:00
Jeremie Dimino
a8702b30a5
add ` to the list of symbol to skip when looking for labels
...
Ignore-this: ee728fd5b73e1502802bef89185ca5a6
darcs-hash:20110805193945-c41ad-e950ce096e353ec23a86efd2ba0dc8d60a5f8582
2011-08-05 21:39:45 +02:00
Jeremie Dimino
65fc1791c7
only handle Accept when in edition mode
...
Ignore-this: dd48ad5ed053979210179d2336ff5d19
darcs-hash:20110804191828-c41ad-5867e30933324360da4a738da02eeb025f11d9d6
2011-08-04 21:18:28 +02:00
Jeremie Dimino
c8f68e4c07
use UTop.smart_accept
...
Ignore-this: 5a561be82ed2ff9f4d0aed99e5320c33
darcs-hash:20110804152939-c41ad-d44f69ddd40e6adeff7d3a4ecf5bac70391ec3cf
2011-08-04 17:29:39 +02:00
Jeremie Dimino
1e561069cf
add UTop.smart_accept
...
Ignore-this: 77af81a81ba18fbc0c16f34873f0dd5a
darcs-hash:20110804143651-c41ad-307965f2bea7c3665165c968096404589a15968e
2011-08-04 16:36:51 +02:00
Jeremie Dimino
e541018eac
build ocamldoc documentation
...
Ignore-this: 302c250e7a33c66627639431458327ca
darcs-hash:20110804125457-c41ad-e0b40e6ae013eef6022b85bfdf0f1d8e9a585cdf
2011-08-04 14:54:57 +02:00
Jeremie Dimino
3729d42a91
update the date in the prompt only at new commands
...
Ignore-this: e4124f10f7bf14d078d529d688cf1e5
darcs-hash:20110804094320-c41ad-279bb1a2449f896f7b0b368804cc311a8bf85c42
2011-08-04 11:43:20 +02:00
Jeremie Dimino
05b2b2cf30
dislpay the current key sequence
...
Ignore-this: 603951c76e406e726eaf6e00bfadba27
darcs-hash:20110804073522-c41ad-2420851c7dbcbb13b4952113ebec3a31565e6ead
2011-08-04 09:35:22 +02:00
Jeremie Dimino
37f984d15e
add konsole the utoprc(5)
...
Ignore-this: 497ef08fdc5901eb0c46384738f9e037
darcs-hash:20110804071956-c41ad-f4794de20c47299ba1d75b9c4eaea4129f70df63
2011-08-04 09:19:56 +02:00
Jeremie Dimino
45ed680139
ocaml 3.13 ready
...
Ignore-this: 390ddd9264558fd4af5b1d437e817982
darcs-hash:20110803175530-c41ad-a1aeeb47c9c3294e7815a62dcb3d532276a235bf
2011-08-03 19:55:30 +02:00
Jeremie Dimino
fa942b0750
avoid passing -I with path that does not exist to ocamlc
...
Ignore-this: 2afbd12ecfe0d685b2b64c063ffac401
darcs-hash:20110803173144-c41ad-2e18488ec03b935b50839a5718b0db4f19f6f3d7
2011-08-03 19:31:44 +02:00
Jeremie Dimino
a440707d24
install utoprc examples
...
Ignore-this: 178d0a6936d725cc0cdcced0f0798036
darcs-hash:20110803171224-c41ad-d599e01a760ca60943726c7445100cc6f5221160
2011-08-03 19:12:24 +02:00
Jeremie Dimino
fa84034e80
search for compiler libraries at configure time
...
Ignore-this: 69791ad05709149e95a034f2a84be5a3
darcs-hash:20110803170052-c41ad-44393df785313f3e6fb832189d4fc9f0e05f7bc2
2011-08-03 19:00:52 +02:00
Jeremie Dimino
ec72c8c913
add a script to install compiler libraries
...
Ignore-this: 1be1715f4e0e3bbcb31cddaee9ff9ce6
darcs-hash:20110803113251-c41ad-48f30dafb6ad00e0549e2cece6f66a67767176d0
2011-08-03 13:32:51 +02:00
Jeremie Dimino
5eff3286aa
add colors for modules and directives
...
Ignore-this: 318635e4f07f427549dbe99980e4c46f
darcs-hash:20110803083828-c41ad-f2e8bf6cdfb2991b965725e356dac9bc64a906fc
2011-08-03 10:38:28 +02:00
Jeremie Dimino
ee02c487ee
better colors for the light profile
...
Ignore-this: ae5c35339f4c84a2034a01afe55476ad
darcs-hash:20110803075212-c41ad-61875ba17a4f3ed69962090919ec13d296b32db3
2011-08-03 09:52:12 +02:00
Jeremie Dimino
4ef7cbf2f2
typo
...
Ignore-this: afb6c17ac6ff2ffee8b713902c0922c5
darcs-hash:20110803074705-c41ad-961f27f33f4336a68ba34d73bbc2656b297c6eb6
2011-08-03 09:47:05 +02:00
Jeremie Dimino
14b9c1144f
completion on directives taking an identifier
...
Ignore-this: a122508dea64d3b610f402c5d9d5af92
darcs-hash:20110802190312-c41ad-8c50801d8c0ab221f1a2964ad9904288c2a7bdd7
2011-08-02 21:03:12 +02:00
Jeremie Dimino
d275ba65a5
add manual pages
...
Ignore-this: f0ef7ee2bd303c71918217b9ce97f587
darcs-hash:20110802173427-c41ad-1d9a1fb885a4ca91cfbf53187d210ca7ab1eea37
2011-08-02 19:34:27 +02:00
Jeremie Dimino
5156bee455
load key bindings at startup
...
Ignore-this: 2ba306236255605644faf0b3179ee75e
darcs-hash:20110802123838-c41ad-a8132df5361ee1f1a4cd4433c00d6515b3d088ce
2011-08-02 14:38:38 +02:00
Jeremie Dimino
bebd9fefcc
add the macro counter in the prompt
...
Ignore-this: 4bb102f58b271fa274ccbb9729191aa8
darcs-hash:20110802081349-c41ad-50c868e684562224402467bce897c450509f30f4
2011-08-02 10:13:49 +02:00
Jeremie Dimino
3eb669e327
macro_recorder -> macro
...
Ignore-this: 659d56e3d7c966c687965c052553b390
darcs-hash:20110802080112-c41ad-f3d0b8b6bf365528f9bdc6b6624101abf7c9d2db
2011-08-02 10:01:12 +02:00
Jeremie Dimino
c6827f1ba3
add support for light colors terminals
...
Ignore-this: fb8794243e001dbb59379ac829be0b15
darcs-hash:20110801221835-c41ad-32e00f215b7167d23efc7a3d3e3aa972f0062785
2011-08-02 00:18:35 +02:00
Jeremie Dimino
95ffb03d45
add support for macros
...
Ignore-this: 96c2ec3cff881daf2d40581dc09ad748
darcs-hash:20110801215114-c41ad-c0f53bbe7753a0951c034f2491a55fe352520efe
2011-08-01 23:51:14 +02:00
Jeremie Dimino
5c9d0a1a88
use the new input system
...
Ignore-this: d474c7d33d21321167507d1ce45eda55
darcs-hash:20110801204429-c41ad-5be3e7c40dfdd9cb2c22f97c600d7ea13fa52980
2011-08-01 22:44:29 +02:00
Jeremie Dimino
2d4b4ec919
add help
...
Ignore-this: fae2e7ce7cc9b43cb0e5754dda289da3
darcs-hash:20110801154213-c41ad-7724831bf215213fd46df191e9a80155e0f0ec7b
2011-08-01 17:42:13 +02:00
Jeremie Dimino
8ffa1e3f22
move the point to the end of buffer when sending data from a tuareg buffer
...
Ignore-this: 6bd9a94949006a986a37d54c320e09dd
darcs-hash:20110731182057-c41ad-82b6ada083f5ff4dc4b38fc1b743063e664f1d5c
2011-07-31 20:20:57 +02:00
Jeremie Dimino
0dfa0749d1
fix the usage of threads inside the emacs mode
...
Ignore-this: 930a4187d5df267ebe880017b43805a2
darcs-hash:20110731165014-c41ad-2b67d0c47c48ea7ff8834f1cff2fb857da49fbf5
2011-07-31 18:50:14 +02:00
Jeremie Dimino
344fa5d9a9
do not fail when there is no completion in emacs mode
...
Ignore-this: d816c80746b598514f88d6251c8498ae
darcs-hash:20110731164250-c41ad-fd390559494714e025e54bfff2273d18e27b470a
2011-07-31 18:42:50 +02:00
Jeremie Dimino
ca976c49c8
better completion in emacs mode
...
Ignore-this: f6e41bcae10c422366b72296e6040086
darcs-hash:20110731163946-c41ad-1b75259fd6523bf3e06f39a9b716a3a0b86a93f5
2011-07-31 18:39:46 +02:00
Jeremie Dimino
11da27db51
fix the lexer
...
Ignore-this: d94f902c86ec6020d03448507408bc77
darcs-hash:20110731120556-c41ad-9083a68f4138d2b39121bfe6bb2194ca7f4225ac
2011-07-31 14:05:56 +02:00
Jeremie Dimino
3b22daa6ee
fix completion on labels
...
Ignore-this: 51218052e237139196e90f8cd995348
darcs-hash:20110731120210-c41ad-99dd4db54d70b68cff3b4579df23761a0680d409
2011-07-31 14:02:10 +02:00
Jeremie Dimino
3e6d20c5e0
always flush after a read-line
...
Ignore-this: d71a03dad3f04242f210df54085125ac
darcs-hash:20110731090906-c41ad-b65b72867335c51c114f2f37756ea569375aedf7
2011-07-31 11:09:06 +02:00
Jeremie Dimino
9c12bd804f
add "!" in symbols to skip when searching for labels
...
Ignore-this: adaface84cdffce3c7b137806ee1a8a5
darcs-hash:20110731084528-c41ad-5e335c118c2fa1a2ce28e7f4c8a222b5b763272a
2011-07-31 10:45:28 +02:00
Jeremie Dimino
4e2a46ac0d
refactoring
...
Ignore-this: 33a617ed993d635789e8708aaa18f1d5
darcs-hash:20110730223055-c41ad-74657407a65b35358b87eec1aef3dfa91dfe2726
2011-07-31 00:30:55 +02:00
Jeremie Dimino
493a98fd17
completion on methods
...
Ignore-this: 911dc003df02325811916b660c5c223a
darcs-hash:20110730170518-c41ad-dcba20413e9ac11f8f00b565ff61baf8226b4694
2011-07-30 19:05:18 +02:00
Jeremie Dimino
79ee6f1cf3
better completion on record fields
...
Ignore-this: fe0fbd08030cde668012ea324c2f5a6c
When completing on a record, completes only on fields.
darcs-hash:20110730085249-c41ad-ede66ad45c96e2da000ea946a7d036c5bcacf0dc
2011-07-30 10:52:49 +02:00
Jeremie Dimino
5940994d07
completion on labels
...
Ignore-this: 8e07a17f0d1ef18fe5be430e86bfea31
darcs-hash:20110730082907-c41ad-2af417b45a31e90696ea9335752d6a415de51eff
2011-07-30 10:29:07 +02:00
Jeremie Dimino
84c3a41052
simplify parenthesis matching
...
Ignore-this: f21ca14b5d5c6f4018614dec0b6a9ca0
darcs-hash:20110728201850-c41ad-e2e19fee4dab290d7e8324380e1dc9f4c3522728
2011-07-28 22:18:50 +02:00
Jeremie Dimino
7965e3b3d2
add a README file
...
Ignore-this: f41dc4d77fd278216391bcdf741e8a74
darcs-hash:20110728195152-c41ad-60f250303a9601519226dcbbb4f8a4505599f4e3
2011-07-28 21:51:52 +02:00
Jeremie Dimino
60a3e780da
completion in emacs mode
...
Ignore-this: f49eb1b85c5d37069e5de7694af241f7
darcs-hash:20110728193147-c41ad-1a95a93070db5c9b955f28a3b02020a4d6ea53e6
2011-07-28 21:31:47 +02:00
Jeremie Dimino
5426f83657
fix a stickiness bug
...
Ignore-this: 4b2a158defc5fb13e0a514bd9686cba3
darcs-hash:20110728160332-c41ad-9ff458ad48a7063c350127e1032dfaff25d09f74
2011-07-28 18:03:32 +02:00
Jeremie Dimino
e0c1b131a3
better handling of multiple line inputs in emacs mode
...
Ignore-this: 917d53810e44b96c6cfa59801634b05
darcs-hash:20110728154023-c41ad-ab46224a3144db4192420db8e0298e51f32411fe
2011-07-28 17:40:23 +02:00
Jeremie Dimino
f01d238cd4
fix utop-process-output
...
Ignore-this: b28611f674ea8d0425f1e645508d71a2
darcs-hash:20110728145634-c41ad-35a498f358ef63497f032295366f17c4fd8b4a4f
2011-07-28 16:56:34 +02:00
Jeremie Dimino
7c645d9c69
fix a race condition in emacs mode
...
Ignore-this: 4067accb79691119304eccb5153f0eee
darcs-hash:20110728130457-c41ad-b15d4b9c2d12f1233efa9829bc4630925cd79110
2011-07-28 15:04:57 +02:00