Alexandre Duret-Lutz
7ff3898139
* configure.ac, NEWS: Bump version to 0.0w.
2004-06-29 18:24:17 +00:00
Alexandre Duret-Lutz
31b163dbf8
* configure.ac, NEWS: Bump version to 0.0v.
2004-06-29 18:22:13 +00:00
Alexandre Duret-Lutz
22912b6db7
* configure.ac, NEWS: Bump version to 0.0u.
2004-04-23 17:54:02 +00:00
Alexandre Duret-Lutz
b980717756
* configure.ac, NEWS: Bump version to 0.0t.
...
* HACKING: Update tools requirements.
* src/sanity/Makefile.am (EXTRA_DIST): Distribute includes.test.
2004-04-23 17:31:57 +00:00
Alexandre Duret-Lutz
0bd6f72690
* configure.ac, NEWS: Bump version to 0.0s.
2004-03-08 22:30:45 +00:00
Alexandre Duret-Lutz
b9b3c1ca25
* configure.ac, NEWS: Bump version to 0.0r.
2004-03-08 22:23:04 +00:00
Alexandre Duret-Lutz
b253881336
* src/tgbatest/spotlbtt.test: Typo.
2004-02-05 13:08:57 +00:00
Alexandre Duret-Lutz
44b351d23c
* configure.ac, NEWS: Bump version to 0.0p.
2004-02-03 14:18:33 +00:00
Alexandre Duret-Lutz
b9b365e731
* configure.ac, NEWS: Bump version to 0.0o.
2004-01-13 17:57:07 +00:00
Alexandre Duret-Lutz
770943adc3
* configure.ac: Bump version to 0.0n.
...
* NEWS: Update.
2004-01-13 17:37:06 +00:00
Alexandre Duret-Lutz
c2892a8275
* doc/Doxyfile.in: Upgrade to Doxygen 1.3.5. Build
...
documentation for iface/.
* dox/mainpage.dox: Fix reference to ltl_to_tgba.
* src/ltlenv/environment.hh: Typo.
2003-12-29 12:14:04 +00:00
Alexandre Duret-Lutz
0033466598
* configure.ac, NEWS: Bump version to 0.0l.
...
* doc/Makefile.am ($(srcdir)/spotref.pdf): Do not assume spot.latex is
in the srcdir.
2003-12-01 11:48:58 +00:00
Alexandre Duret-Lutz
1a94645802
* configure.ac, NEWS: Bump version to 0.0j.
2003-11-03 12:05:24 +00:00
Alexandre Duret-Lutz
1f0060b716
* configure.ac, NEWS: Bump version to 0.0h.
...
* wrap/python/cgi/Makefile.am (CLEANFILES): Clean ltl2tgba.py.
2003-08-18 15:24:21 +00:00
Alexandre Duret-Lutz
5b245d7dd1
* configure.ac, NEWS: Bump version to 0.0f.
...
* iface/gspn/simple.test, iface/gspn/dcswave.test,
iface/gspn/dcswaveltl.test: Make sure the example directory
is writable.
* m4/lbtt.m4, m4/buddy.m4: Always configure buddy/ and lbtt/,
regardless of the --with-included-buddy and --with-included-lbtt
settings.
2003-08-01 10:25:56 +00:00
Alexandre Duret-Lutz
53bf08014e
* configure.ac: Bump version to 0.0d.
...
* NEWS, README: New files.
2003-07-13 14:52:38 +00:00
