The se Command



The se command is the SmartEiffel front-end tool. This tool is able to call all other the tools of the SmartEiffel suite:
[Line]
Copyright © Dominique COLNET and Suzanne COLLIN - <SmartEiffel@loria.fr>
Last modified: Sat May 7 22:36:07 CEST 2005