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 |