Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add comments for the example bugged2_liveness
[simgrid.git] / examples / msg / gtnets / onelink-p.xml
2011-01-21 navarropLet simgrid.dtd to be accessible from the web in order...
2010-11-30 navarropUpdate platfrom version to 3.
2010-10-04 mquinsonupdate all the platforms file with the new s/:/_/ in DTD
2010-09-28 navarropNew platform for gtnets.
2007-12-18 mquinsonrename surfxml.dtd into simgrid.dtd
2007-11-02 mquinsonThis time, hopefully, the files are in valid version...
2007-10-31 mquinsonUpdate the platform files: the root tag is now called...
2007-10-26 quasarupdate all the XML files
2007-07-25 velhoAdded the GTNetS feature to examples/msg directory.