2 Commits

Author	SHA1	Message	Date
Jérémie Dimino	58a47e4ff8	Set dune language version to 1.0 (#873) ... Signed-off-by: Jeremie Dimino <jeremie@dimino.org>	2018-06-11 16:17:22 +01:00
Jérémie Dimino	325584adfc	Renaming to Dune (#721) ... - install two identical binaries: jbuilder and dune - rename the man pages to dune-* - change the name in man pages - change the name of libraries - add support for dune-project files and add a dune-project file - add support for dune-workspace files - start updating the manual - update the tests	2018-05-02 12:56:12 +01:00