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
280ad8d7
Commit
280ad8d7
authored
Aug 13, 2004
by
Alexandre Duret-Lutz
Browse files
* configure.ac, NEWS: Bump version to 0.0x.
parent
4531700d
Changes
3
Hide whitespace changes
Inline
Side-by-side
ChangeLog
View file @
280ad8d7
2004-08-13 Alexandre Duret-Lutz <adl@src.lip6.fr>
* configure.ac, NEWS: Bump version to 0.0x.
2004-08-12 Alexandre Duret-Lutz <adl@src.lip6.fr>
* doc/Doxyfile.in (GENERATE_TAGFILE): Build spot.tag.
...
...
NEWS
View file @
280ad8d7
New in spot 0.0w:
New in spot 0.0x (2004-08-13):
* New atomic_prop_collect() function: collect atomic propositions
in an LTL formula.
* Fix several typos in documentation, and some warnings in the code.
* Now compiles on Darwin and Cygwin.
* Upgrade to Automake 1.9.1, and lbtt 1.1.2.
(And drop support for older lbtt versions.)
* Support newer versions of Valgrind (>= 2.1.0).
New in spot 0.0v (2004-06-29):
...
...
configure.ac
View file @
280ad8d7
...
...
@@ -20,7 +20,7 @@
# 02111-1307, USA.
AC_PREREQ([2.59])
AC_INIT([spot], [0.0
w
])
AC_INIT([spot], [0.0
x
])
AC_CONFIG_AUX_DIR([tools])
AM_INIT_AUTOMAKE([gnits nostdinc 1.8])
...
...
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