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
d852f2c8
Commit
d852f2c8
authored
Jun 26, 2003
by
Alexandre Duret-Lutz
Browse files
* configure.ac: Bump version to 0.0b.
parent
3d129932
Changes
3
Hide whitespace changes
Inline
Side-by-side
ChangeLog
View file @
d852f2c8
2003-06-26 Alexandre Duret-Lutz <aduret@src.lip6.fr>
* configure.ac: Bump version to 0.0b.
* INSTALL: New file.
* src/tgba/ltl2tgba.hh, src/tgba/ltl2tgba.cc: Move ...
...
...
configure.ac
View file @
d852f2c8
AC_PREREQ([2.57])
AC_INIT([spot], [0.
1
])
AC_INIT([spot], [0.
0b
])
AC_CONFIG_AUX_DIR([tools])
AM_INIT_AUTOMAKE([foreign nostdinc 1.7.3])
...
...
src/tgbaalgos/Makefile.am
View file @
d852f2c8
...
...
@@ -13,4 +13,3 @@ libtgbaalgos_la_SOURCES = \
dotty.cc
\
ltl2tgba.cc
\
save.cc
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