Alexandre Duret-Lutz 38f7ae9a46 * src/ltlvisit/dotty.cc: Rewrite to display formulae as ... graphs rather than trees, to show how nodes are shared.		2003-05-16 09:35:21 +00:00
..
ltlast	Check trivial multop equality at build time. The makes the	2003-05-16 07:39:41 +00:00
ltlenv	Massage the AST so that identical sub-formula share the same	2003-05-15 13:39:39 +00:00
ltlparse	Implements spot::ltl::destroy() and exercise it.	2003-05-15 18:06:54 +00:00
ltltest	* src/ltlvisit/dotty.cc: Rewrite to display formulae as	2003-05-16 09:35:21 +00:00
ltlvisit	* src/ltlvisit/dotty.cc: Rewrite to display formulae as	2003-05-16 09:35:21 +00:00
misc	* HACKING, Makefile.am, configure.ac, m4/gccwarn.m4,	2003-04-15 10:55:16 +00:00
.cvsignore	* src/ltlvisit/Makefile.am (lib_LTLIBRARIES): Rename as ...	2003-04-30 12:46:12 +00:00
Makefile.am	* src/ltlvisit/Makefile.am (lib_LTLIBRARIES): Rename as ...	2003-04-30 12:46:12 +00:00