Commit Graph

7 Commits

Author SHA1 Message Date
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)