-
Sarah O'Connor authored
* doc/beginner/help.tex, src/demos/universal/universal.cc: Modify vaucanson_boolean_automaton.hh filename to boolean_automaton.hh in headers.
18824d9f
* doc/beginner/help.tex, src/demos/universal/universal.cc: Modify vaucanson_boolean_automaton.hh filename to boolean_automaton.hh in headers.