Fabian
|
e8bc602746
|
Remove trailing whitespaces
|
2020-03-18 11:01:23 +08:00 |
|
Fabian
|
712678f959
|
Update docs to refer to .config/utop/init.ml
|
2020-03-18 11:01:23 +08:00 |
mars0i
|
63fb913332
|
added tip to man page to make simple prompt
|
2019-05-05 20:20:27 -04:00 |
Anil Madhavapeddy
|
641af3fd63
|
port build from jbuilder to dune
|
2019-01-15 09:50:54 +00:00 |
Jeremie Dimino
|
8954a2e908
|
Setup installation of utoprcs and man pages
|
2017-04-04 13:36:28 +01:00 |
|
Jeremie Dimino
|
c41969dc62
|
allow to configure the external editor
|
2015-10-29 10:07:28 +00:00 |
|
Jeremie Dimino
|
c4bf0cc25e
|
update man page and readme
|
2015-01-12 10:06:08 +00:00 |
|
Jeremie Dimino
|
cc49fa8dc9
|
typo
|
2013-11-26 14:09:04 +00:00 |
|
Jeremie Dimino
|
5b0adae849
|
fix startup files autoloading and allow to disable it
|
2013-11-26 13:22:36 +00:00 |
Jeremie Dimino
|
09659b1dbe
|
install utop-full with access to compiler libraries
Ignore-this: 2612df285dd4900ca4eb4af08d5a4d93
darcs-hash:20120731150940-c41ad-2e08c11a1830ad058e1a856b31b2d74a87350dca
|
2012-07-31 17:09:40 +02:00 |
|
Jeremie Dimino
|
d8dae4ac5f
|
typerex mode integration
Ignore-this: 75eac634eda3b909b6cac3ad1e6bab64
darcs-hash:20120222191910-c41ad-efba56e4d469a58b5595c992d1473768d38578c1
|
2012-02-22 20:19:10 +01:00 |
|
Jeremie Dimino
|
21ebe44ff0
|
better tuareg integration
Ignore-this: 4ba7fb3a818232c1423c9d7f1a65f318
darcs-hash:20120203094158-c41ad-f9d191e4ead0c4e8f7c7156edf1d92b3c381ac8e
|
2012-02-03 10:41:58 +01: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
|
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
|
4ef7cbf2f2
|
typo
Ignore-this: afb6c17ac6ff2ffee8b713902c0922c5
darcs-hash:20110803074705-c41ad-961f27f33f4336a68ba34d73bbc2656b297c6eb6
|
2011-08-03 09:47:05 +02:00 |
|
Jeremie Dimino
|
d275ba65a5
|
add manual pages
Ignore-this: f0ef7ee2bd303c71918217b9ce97f587
darcs-hash:20110802173427-c41ad-1d9a1fb885a4ca91cfbf53187d210ca7ab1eea37
|
2011-08-02 19:34:27 +02:00 |