[X] The "/RED,TCTL model-checker, simulation-checker, parametric safety-analyzer/version 7_091107/red.7.091107.tar.gz" file could not be found or is not available. Please select another file.

Creates Installers using Ant by configuring an XML file (no java required): The installer collects user input, then run specific Ant targets from a build.xml file. Runs in a Swing GUI or on the command line.

Browse Files for AntInstaller

File/Folder Name  Platform Size Date ↓ Downloads Notes/Subscribe
Subdirectory (view all files)
AntInstaller 22.9 MB 2005-02-21 404 Subscribe Folder view
beta 0.6 22.9 MB 2005-02-21 404 Subscribe Folder view
AntInstaller-selfextract-nodemo-beta6.0.jar 7.5 MB 2005-02-21 139 Release Notes
AntInstaller-selfextract-beta6.0.jar 15.4 MB 2005-02-21 265 Release Notes