diff --git a/CHANGES b/CHANGES index 48eed608..0652c9d7 100644 --- a/CHANGES +++ b/CHANGES @@ -1,6 +1,8 @@ * marks some incompatible change +version 1.8.6, January 23, 2015 +------------------------------- o Dominator: new functor [Make_graph] with may use graph building operations, while the old functor [Make] now only requires a read-only graph. o Graphviz: support for additional polygonal-shapes diff --git a/Makefile.in b/Makefile.in index cceee44d..6890a656 100644 --- a/Makefile.in +++ b/Makefile.in @@ -112,7 +112,7 @@ graph.cmo: $(CMI) $(CMO) graph.cmx: $(CMI) $(CMX) $(OCAMLOPT) $(INCLUDES) -pack -o $@ $^ -VERSION=1.8.5+dev +VERSION=1.8.6 src/version.ml: Makefile rm -f $@