diff --git a/NEWS b/NEWS index 0eb65368d..2d64b20dc 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,4 @@ -New in spot 2.4.0.dev (not yet released) +New in spot 2.4.1.dev (not yet released) Tools: @@ -113,6 +113,8 @@ New in spot 2.4.0.dev (not yet released) spot::scc_info::marks(), spot::scc_info::marks_of() and spot::scc_info::acc_sets_of() respectively. +New in spot 2.4.1 (2017-10-05) + Bugs fixed: - The formula class failed to build {a->c[*]} although it is diff --git a/configure.ac b/configure.ac index e018ad886..27c20f27a 100644 --- a/configure.ac +++ b/configure.ac @@ -21,7 +21,7 @@ # along with this program. If not, see . AC_PREREQ([2.61]) -AC_INIT([spot], [2.4.0.dev], [spot@lrde.epita.fr]) +AC_INIT([spot], [2.4.1.dev], [spot@lrde.epita.fr]) AC_CONFIG_AUX_DIR([tools]) AC_CONFIG_MACRO_DIR([m4]) AM_INIT_AUTOMAKE([1.11 gnu tar-ustar color-tests parallel-tests]) diff --git a/doc/org/oaut.org b/doc/org/oaut.org index 70e2c3bd5..dac51f0a2 100644 --- a/doc/org/oaut.org +++ b/doc/org/oaut.org @@ -899,7 +899,7 @@ following figure: #+BEGIN_SRC sh :results silent :exports results ltl2tgba 'p0 U p1' --dot=x | dot2tex --autosize --nominsize > dot2tex.tex latexmk --pdf dot2tex.tex - convert -density 300 -scale='50%' -trim dot2tex.pdf dot2tex.png + convert -density 300 -scale '50%' -trim dot2tex.pdf dot2tex.png latexmk -C dot2tex.tex rm -f dot2tex.tex #+END_SRC @@ -914,7 +914,7 @@ ltl2tgba -G -D '!a & FGa' --dot=sbarx | dot2tex --autosize --nominsize > out.tex #+BEGIN_SRC sh :results silent :exports results ltl2tgba -G -D '!a & FGa' --dot=sbarx | dot2tex --autosize --nominsize > dot2tex2.tex latexmk --pdf dot2tex2.tex - convert -density 300 -scale='50%' -trim dot2tex2.pdf dot2tex2.png + convert -density 300 -scale '50%' -trim dot2tex2.pdf dot2tex2.png latexmk -C dot2tex2.tex rm -f dot2tex2.tex #+END_SRC diff --git a/doc/org/setup.org b/doc/org/setup.org index d4c14b803..f3a078913 100644 --- a/doc/org/setup.org +++ b/doc/org/setup.org @@ -1,8 +1,8 @@ #+OPTIONS: H:2 num:nil toc:t html-postamble:nil #+EMAIL: spot@lrde.epita.fr #+HTML_LINK_HOME: index.html -#+MACRO: SPOTVERSION 2.4 -#+MACRO: LASTRELEASE 2.4 -#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.4.tar.gz][=spot-2.4.tar.gz=]] -#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-4/NEWS][summary of the changes]] -#+MACRO: LASTDATE 2017-09-06 +#+MACRO: SPOTVERSION 2.4.1 +#+MACRO: LASTRELEASE 2.4.1 +#+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.4.1.tar.gz][=spot-2.4.1.tar.gz=]] +#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-4-1/NEWS][summary of the changes]] +#+MACRO: LASTDATE 2017-10-05