Index of ftp://bo.mirror.garr.it/1/eclipse/pmf/release-0.4.0/plugins

[DIR] Parent Directory

[ ] org.eclipse.pmf.generator.egf.xwt_0.4.0.201705201427.jar  36.15Kb  March 8 2020
[ ] org.eclipse.pmf.generator.egf.xwt.source_0.4.0.201705201427.jar  197.97Kb  March 8 2020
[ ] org.eclipse.pmf.model.checkrules_0.4.0.201705201427.jar  54.04Kb  March 8 2020
[ ] org.eclipse.pmf.model.checkrules.source_0.4.0.201705201427.jar  82.74Kb  March 8 2020
[ ] org.eclipse.pmf.pim_0.4.0.201705201427.jar  745.59Kb  March 8 2020
[ ] org.eclipse.pmf.pim.source_0.4.0.201705201427.jar  1.15Mb  March 8 2020
[ ] org.eclipse.pmf.pim.tests_0.4.0.201705201427.jar  139.18Kb  March 8 2020
[ ] org.eclipse.pmf.pim.tests.source_0.4.0.201705201427.jar  183.99Kb  March 8 2020
[ ] org.eclipse.pmf.tools_0.4.0.201705201427.jar  13.17Kb  March 8 2020
[ ] org.eclipse.pmf.tools.source_0.4.0.201705201427.jar  16.80Kb  March 8 2020
[ ] org.eclipse.pmf.ui.edit_0.4.0.201705201427.jar  441.91Kb  March 8 2020
[ ] org.eclipse.pmf.ui.editor_0.4.0.201705201427.jar  524.78Kb  March 8 2020
[ ] org.eclipse.pmf.ui.editor.source_0.4.0.201705201427.jar  367.24Kb  March 8 2020
[ ] org.eclipse.pmf.ui.edit.source_0.4.0.201705201427.jar  598.56Kb  March 8 2020
[ ] org.eclipse.pmf.ui.properties_0.4.0.201705201427.jar  137.41Kb  March 8 2020
[ ] org.eclipse.pmf.ui.properties.source_0.4.0.201705201427.jar  137.39Kb  March 8 2020
[ ] org.eclipse.pmf.ui.tools_0.4.0.201705201427.jar  44.46Kb  March 8 2020
[ ] org.eclipse.pmf.ui.tools.properties_0.4.0.201705201427.jar  6.58Kb  March 8 2020
[ ] org.eclipse.pmf.ui.tools.properties.source_0.4.0.201705201427.jar  67.22Kb  March 8 2020
[ ] org.eclipse.pmf.ui.tools.source_0.4.0.201705201427.jar  61.54Kb  March 8 2020