Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Spot
Spot
Commits
b8c6eb04
Commit
b8c6eb04
authored
Jun 23, 2015
by
Alexandre Duret-Lutz
Browse files
Release Spot 1.99.1
* NEWS, configure.ac, doc/org/setup.org: Bump version number.
parent
41a7b906
Changes
3
Hide whitespace changes
Inline
Side-by-side
NEWS
View file @
b8c6eb04
New in spot 1.99
b (not yet released
)
New in spot 1.99
.1 (2015-06-23
)
* Major changes motivating the jump in version number
...
...
@@ -415,10 +415,6 @@ New in spot 1.99b (not yet released)
case you have a file in this format, install Spot 1.2.6 and use
"src/tgbatest/ltl2tgba -H -X file" to convert the file to HOA.)
New in spot 1.2.6a (not yet released)
Nothing yet.
New in spot 1.2.6 (2014-12-06)
* New features:
...
...
configure.ac
View file @
b8c6eb04
...
...
@@ -21,7 +21,7 @@
# along with this program. If not, see <http://www.gnu.org/licenses/>.
AC_PREREQ([2.61])
AC_INIT([spot], [1.99
b
], [spot@lrde.epita.fr])
AC_INIT([spot], [1.99
.1
], [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])
...
...
doc/org/setup.org
View file @
b8c6eb04
#+OPTIONS: H:2 num:nil toc:t
#+EMAIL: spot@lrde.epita.fr
#+HTML_LINK_HOME: index.html
#+MACRO: SPOTVERSION 1.99
b
#+MACRO: LASTRELEASE 1.
2.6
#+MACRO: LASTTARBALL [[file:http:/www.lrde.epita.fr/dload/spot/spot-1.
2.6
.tar.gz][=spot-1.
2.6
.tar.gz=]]
#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-1-
2-6
/NEWS][summary of the changes]]
#+MACRO: LASTDATE 201
4-12-06
#+MACRO: SPOTVERSION 1.99
.1
#+MACRO: LASTRELEASE 1.
99.1
#+MACRO: LASTTARBALL [[file:http:/www.lrde.epita.fr/dload/spot/spot-1.
99.1
.tar.gz][=spot-1.
99.1
.tar.gz=]]
#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-1-
99-1
/NEWS][summary of the changes]]
#+MACRO: LASTDATE 201
5-06-23
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment