49e59693f9
allow to restart utop in the same buffer
...
Ignore-this: 671e1170602f13fa2fb9a08a07abbbfd
darcs-hash:20120202220740-c41ad-4263d99bb641d6b1168a56eb98e8a978e5298685
2012-02-02 23:07:40 +01:00
465b5e8aad
always move the point to the end of all utop buffers when the prompt appears in emacs
...
Ignore-this: 20924b2ba96e14db5421ff96552b5cdb
darcs-hash:20120202212320-c41ad-6b49252f780dc562bea0a5146d94cb18a26f2d1a
2012-02-02 22:23:20 +01:00
1fc01ed241
better handling of non-editable part in emacs
...
Ignore-this: 3eefd6ba6429a1db3679662b524e2a07
darcs-hash:20120202203044-c41ad-7a0e856f3a00ef5730705cf3d1e3ce17f17f4c04
2012-02-02 21:30:44 +01:00
db6cbf1f61
add a sentinel in the emacs mode to print status at the end of the buffer
...
Ignore-this: a28596e0b3eaf811a1ce7ffb9b56c0c8
darcs-hash:20120202153104-c41ad-e872c7f5e94c3469e6b44bfdd2f9a5ae184a0ef9
2012-02-02 16:31:04 +01:00
ff8ef4b766
ignore breaks while reading a line in emacs
...
Ignore-this: 8983f41fefddaf597300d9679f5c798d
darcs-hash:20120202141920-c41ad-374eaecb31bfbe820440d4380f7757e3c7071b1c
2012-02-02 15:19:20 +01:00
c1ff52459d
allow to interrupt and kill utop in emacs
...
Ignore-this: 9ee0deb47932d7baf7084ae8025a2f31
darcs-hash:20120202140753-c41ad-8f877a7d2c9debfc56efee729cdcdab8fcc18596
2012-02-02 15:07:53 +01:00
72c35f5518
fixes for mintty
...
Ignore-this: 4bf6c68855167b1f094a4dde818bd000
darcs-hash:20120126105011-c41ad-159732298309c6e5e9846aed9047ec37e5c49d9c
2012-01-26 11:50:11 +01:00
26a241e376
prevent findlib from being initialized twice
...
Ignore-this: 5957b6f8068ac6f1234b73bf3fbb9922
darcs-hash:20120122143706-c41ad-9fb04457e9c3454c4910e7c46ccebc2e192144fe
2012-01-22 15:37:06 +01:00
f5663a80f4
ensure -package lwt.syntax is not passed for executables
...
Ignore-this: 3337806c6b44ce638ff9cb3d98778277
darcs-hash:20120122143643-c41ad-5471d1c391b95a8e7fbefe61a1f99b23ef541ed3
2012-01-22 15:36:43 +01:00
cf0fde1559
fix expunged pacakges
...
Ignore-this: 105de7e1d9d2cc2a95d492fae5945450
Expunge only packages tagged for a pragraam
darcs-hash:20120122025410-c41ad-f3df3a4e3e331b262003c522c1c5e5c9594832b5
2012-01-22 03:54:10 +01:00
0506de1850
enable conditionnal compilation of utop-gtk
...
Ignore-this: 1dcd68bb631951eaecb341d0e0521ead
darcs-hash:20120121215446-c41ad-d1f8bb504c698bd6b4416c36eba14ca701f00e7d
2012-01-21 22:54:46 +01:00
b5ae4d9f85
depend on camlp4 instead of camlp4.lib
...
Ignore-this: 215c03c4a113cf0e37cb819f9569f3ab
darcs-hash:20120104141813-c41ad-3b63303bc41bc2ba1adc30a4f464023dfcb73f98
2012-01-04 15:18:13 +01:00
516f2c4800
update optcomp
...
Ignore-this: 524a25072a03d9507026255ae6189510
darcs-hash:20111223215332-c41ad-712fbfc49be95dd491957de824bbec079517be11
2011-12-23 22:53:32 +01:00
b340d4292d
update setup.ml for latest oasis
...
Ignore-this: 5c6f3a3832fdc6456179bf2158a49987
darcs-hash:20111122192808-c41ad-3b761bfa13ae21f4d976bf4c1fd7fe50190a2f87
2011-11-22 20:28:08 +01:00
66a816fe72
add UTop.exec_in_gui
...
Ignore-this: dc3c14404cb338f609e1d486664a1676
darcs-hash:20110921130911-c41ad-72bec8de684d12f9c16c0ae5a0e56a6627230021
2011-09-21 15:09:11 +02:00
c511fa0f02
use the custom prompt
...
Ignore-this: 1912534fb4073b2f4774bb09fe977365
darcs-hash:20110921042650-c41ad-9a21b4232ac8e2d13af8b0fc588749de3e161212
2011-09-21 06:26:50 +02:00
4a456f0b59
do not expunge gtk modules
...
Ignore-this: 5491c43d53bf3c10a6f6257d36e2902d
darcs-hash:20110921003037-c41ad-5839cbdaa108f44a69e2ac2046c9d4d3cd345228
2011-09-21 02:30:37 +02:00
e2bd3d586b
do the window#show in the dispatcher thread
...
Ignore-this: e43b5a6f7a724bba9dd0957a7c1b8399
darcs-hash:20110921002225-c41ad-cd0cee9ced2fca7c0b399bbf392ff99ecdd37955
2011-09-21 02:22:25 +02:00
ddf0556887
use our own glib loop which do not use busy waiting like lablgtk does
...
Ignore-this: 12071140b9a724a83be67ae28af0d0ec
darcs-hash:20110920213743-c41ad-9d4d5be7abb46be0172b9f971a6e27745bf2e74c
2011-09-20 23:37:43 +02:00
7c4194a223
add styles to the GTk ui
...
Ignore-this: 79cd2a422f1c45ce08644396abf4c443
darcs-hash:20110920182657-c41ad-1cfb44fa2ff4ff5e01ec4547c480bde62bb639af
2011-09-20 20:26:57 +02:00
2351c45995
start of the GTK ui
...
Ignore-this: b51ff928e96baaa006c6ffc612196645
darcs-hash:20110920154735-c41ad-1bc3b29f91f26b1436235470bf4de5ef64de6146
2011-09-20 17:47:35 +02:00
5433a5cdd8
put files in different directories
...
Ignore-this: 2df11f9183d273759941b09dbec314c6
darcs-hash:20110920122950-c41ad-eec84c9824fc0077abec452a2d865990a443df63
2011-09-20 14:29:50 +02:00
bfc7f9aad1
fix the install-compiler-libs.sh script on Windows
...
Ignore-this: 1e5c80eb7f41dc18122668fa633ccd87
darcs-hash:20110919235011-c41ad-175eeac14368a81e71a24ebec0f3b97de2284448
2011-09-20 01:50:11 +02:00
82b2998b1b
make sure the welcome message is correctly displayed on windows
...
Ignore-this: da5b08ebad927d04134a48a0958ca804
darcs-hash:20110919234918-c41ad-68a7319d9b78d4fdf77f98f5ab5c3307472c756e
2011-09-20 01:49:18 +02:00
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
216686b89f
do not manage SIGINT
...
Ignore-this: 113a23f695ca40788c12279e64b19e9f
darcs-hash:20110828152450-c41ad-1d223ee84c2149921b1b938cf86b3e5671fbf634
2011-08-28 17:24:50 +02:00
5c7ce88938
fix LICENSE date
...
Ignore-this: 7fa554efde0713d1b070c232e1bcf441
darcs-hash:20110825082213-c41ad-6c2c752e83e2d86e03d618c5361cca7163420067
2011-08-25 10:22:13 +02:00
4b8ce2bf82
correctly handle the SIGINT signal
...
Ignore-this: ea0c2dbb5cba430cc586a66d26f094d1
darcs-hash:20110812211135-c41ad-ed9759f105d138c264cca67d0a0cdefda1a5f0a7
2011-08-12 23:11:35 +02:00
7a791ae5ef
use LTerm_text.stylise_parenthesis
...
Ignore-this: 89d793e3ecb8b555d195d7cdfeed0610
darcs-hash:20110809063116-c41ad-2ac81c5f65ec52f21883c5c8cb52383f62ba7c4e
2011-08-09 08:31:16 +02:00
1f9576e22c
version 1.1
...
Ignore-this: 28c69e0277b1ec0023b7ccdb4caff539
darcs-hash:20110806114014-c41ad-f18ec6b811c3d66b091160ed0b184ee8f21cbf0e
2011-08-06 13:40:14 +02:00
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
65fc1791c7
only handle Accept when in edition mode
...
Ignore-this: dd48ad5ed053979210179d2336ff5d19
darcs-hash:20110804191828-c41ad-5867e30933324360da4a738da02eeb025f11d9d6
2011-08-04 21:18:28 +02:00
c8f68e4c07
use UTop.smart_accept
...
Ignore-this: 5a561be82ed2ff9f4d0aed99e5320c33
darcs-hash:20110804152939-c41ad-d44f69ddd40e6adeff7d3a4ecf5bac70391ec3cf
2011-08-04 17:29:39 +02:00
1e561069cf
add UTop.smart_accept
...
Ignore-this: 77af81a81ba18fbc0c16f34873f0dd5a
darcs-hash:20110804143651-c41ad-307965f2bea7c3665165c968096404589a15968e
2011-08-04 16:36:51 +02:00
e541018eac
build ocamldoc documentation
...
Ignore-this: 302c250e7a33c66627639431458327ca
darcs-hash:20110804125457-c41ad-e0b40e6ae013eef6022b85bfdf0f1d8e9a585cdf
2011-08-04 14:54:57 +02:00
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
05b2b2cf30
dislpay the current key sequence
...
Ignore-this: 603951c76e406e726eaf6e00bfadba27
darcs-hash:20110804073522-c41ad-2420851c7dbcbb13b4952113ebec3a31565e6ead
2011-08-04 09:35:22 +02:00
37f984d15e
add konsole the utoprc(5)
...
Ignore-this: 497ef08fdc5901eb0c46384738f9e037
darcs-hash:20110804071956-c41ad-f4794de20c47299ba1d75b9c4eaea4129f70df63
2011-08-04 09:19:56 +02:00
45ed680139
ocaml 3.13 ready
...
Ignore-this: 390ddd9264558fd4af5b1d437e817982
darcs-hash:20110803175530-c41ad-a1aeeb47c9c3294e7815a62dcb3d532276a235bf
2011-08-03 19:55:30 +02:00
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
a440707d24
install utoprc examples
...
Ignore-this: 178d0a6936d725cc0cdcced0f0798036
darcs-hash:20110803171224-c41ad-d599e01a760ca60943726c7445100cc6f5221160
2011-08-03 19:12:24 +02:00
fa84034e80
search for compiler libraries at configure time
...
Ignore-this: 69791ad05709149e95a034f2a84be5a3
darcs-hash:20110803170052-c41ad-44393df785313f3e6fb832189d4fc9f0e05f7bc2
2011-08-03 19:00:52 +02:00
ec72c8c913
add a script to install compiler libraries
...
Ignore-this: 1be1715f4e0e3bbcb31cddaee9ff9ce6
darcs-hash:20110803113251-c41ad-48f30dafb6ad00e0549e2cece6f66a67767176d0
2011-08-03 13:32:51 +02:00
5eff3286aa
add colors for modules and directives
...
Ignore-this: 318635e4f07f427549dbe99980e4c46f
darcs-hash:20110803083828-c41ad-f2e8bf6cdfb2991b965725e356dac9bc64a906fc
2011-08-03 10:38:28 +02:00
ee02c487ee
better colors for the light profile
...
Ignore-this: ae5c35339f4c84a2034a01afe55476ad
darcs-hash:20110803075212-c41ad-61875ba17a4f3ed69962090919ec13d296b32db3
2011-08-03 09:52:12 +02:00
4ef7cbf2f2
typo
...
Ignore-this: afb6c17ac6ff2ffee8b713902c0922c5
darcs-hash:20110803074705-c41ad-961f27f33f4336a68ba34d73bbc2656b297c6eb6
2011-08-03 09:47:05 +02:00
14b9c1144f
completion on directives taking an identifier
...
Ignore-this: a122508dea64d3b610f402c5d9d5af92
darcs-hash:20110802190312-c41ad-8c50801d8c0ab221f1a2964ad9904288c2a7bdd7
2011-08-02 21:03:12 +02:00
d275ba65a5
add manual pages
...
Ignore-this: f0ef7ee2bd303c71918217b9ce97f587
darcs-hash:20110802173427-c41ad-1d9a1fb885a4ca91cfbf53187d210ca7ab1eea37
2011-08-02 19:34:27 +02:00
5156bee455
load key bindings at startup
...
Ignore-this: 2ba306236255605644faf0b3179ee75e
darcs-hash:20110802123838-c41ad-a8132df5361ee1f1a4cd4433c00d6515b3d088ce
2011-08-02 14:38:38 +02:00
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