[INRIA]
[LORIA]




->Wiki
->FAQ
->Lib doc.
->Tools doc.
->Mailing list
->Bug reports
->Papers
->Download
->SCM Inria
->People
->Home (http)
->Home


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