Commit Graph

8 Commits

Author SHA1 Message Date
Jeremie Dimino 202917d9d3 Resurect UTop_main.interact 2017-05-26 15:26:27 +01:00
Jeremie Dimino a1d147022a Update the examples 2017-05-26 14:43:45 +01:00
Jeremie Dimino 4826d0558a Added comment in Makefile 2017-04-04 13:51:58 +01:00
Jérémie Dimino ba3d278b32 Switch to jbuilder 2017-04-04 13:36:28 +01:00
Jeremie Dimino 5e607f898f change annoying `make install` behavior 2016-08-15 11:01:22 +01:00
Jeremie Dimino aab3878dd8 ignore errors in oasis-generated code
They are none of our concern...
2016-03-02 17:47:00 +00:00
Peter Zotov 35419a3284 Expose API documentation on github pages.
Also, unbreak documentation builds with style.css,
and use @dbuenzli's style, which is quite nicer than
the existing one.
2014-10-28 03:40:23 +03:00
Jérémie Dimino 6e911b41dc Add a Makefile
It compiles setup.ml to a native executable.
2012-10-17 11:36:33 +02:00