10 Commits

Author	SHA1	Message	Date
Jeremie Dimino	2a8762c0f7	update definition of Deferred.t ... It is now Async_kernel.Deferred0.t. Fixes #137	2015-08-17 10:19:49 +01:00
Jeremie Dimino	d1419acbb7	make sure is never called ... This cause a failure when pressing Enter in history search mode	2015-08-07 11:03:25 +01:00
Jeremie Dimino	86c68d118e	add UTop.set_margin_function	2015-08-04 11:44:36 +01:00
Jeremie Dimino	fccbafa75b	don't trust locations returned by the compiler	2015-08-04 11:26:28 +01:00
Jeremie Dimino	92fafe1f48	Add UTop.end_and_accept_current_phrase ... Closes #131	2015-05-12 16:46:24 +01:00
Jeremie Dimino	90ffbe737a	build with trunk	2015-03-18 16:47:29 +00:00
Peter Zotov	970b308126	Use tuple comparisons, present since cppo 1.1.2.	2014-11-17 17:58:12 +03:00
Peter Zotov	6f7ac4559f	Remove compatibility with pre-4.01.0.	2014-10-20 17:14:39 +04:00
Peter Zotov	121b1a9e58	Get rid of lwt.syntax.	2014-10-20 16:20:55 +04:00
Peter Zotov	257bfa7eb6	Replace pa_optcomp with cppo.	2014-10-20 16:20:55 +04:00

Renamed from src/lib/uTop_main.ml (Browse further)