Index of /updates/0.3.0/plugins

	Name	Last modified	Size	Description
	Parent Directory		-
	es.upv.dsic.issi.emergencies_0.3.0.201207231805.jar	2012-07-23 19:05	2.2K
	es.upv.dsic.issi.tipex.core.commonlibs_0.3.0.201207231805.jar	2012-07-23 19:05	4.4M
	es.upv.dsic.issi.tipex.core.datatypes.edit_0.3.0.201207231805.jar	2012-07-23 19:05	3.5K
	es.upv.dsic.issi.tipex.core.datatypes_0.3.0.201207231805.jar	2012-07-23 19:05	8.0K
	es.upv.dsic.issi.tipex.core.ui_0.3.0.201207231805.jar	2012-07-23 19:05	53K
	es.upv.dsic.issi.tipex.dfm.edit_0.3.0.201207231805.jar	2012-07-23 19:05	68K
	es.upv.dsic.issi.tipex.dfm.editor_0.3.0.201207231805.jar	2012-07-23 19:05	80K
	es.upv.dsic.issi.tipex.dfm.fama_0.3.0.201207231805.jar	2012-07-23 19:05	9.7K
	es.upv.dsic.issi.tipex.dfm_0.3.0.201207231805.jar	2012-07-23 19:05	54K
	es.upv.dsic.issi.tipex.dfmconf.edit_0.3.0.201207231805.jar	2012-07-23 19:05	17K
	es.upv.dsic.issi.tipex.dfmconf.editor_0.3.0.201207231805.jar	2012-07-23 19:05	84K
	es.upv.dsic.issi.tipex.dfmconf.tests_0.3.0.201207231805.jar	2012-07-23 19:05	8.5K
	es.upv.dsic.issi.tipex.dfmconf_0.3.0.201207231805.jar	2012-07-23 19:05	45K
	es.upv.dsic.issi.tipex.fama_0.3.0.201207231805.jar	2012-07-23 19:05	2.6K
	es.upv.dsic.issi.tipex.infoelement.singleeditor_0.3.0.201207231805.jar	2012-07-23 19:05	163K
	es.upv.dsic.issi.tipex.infoelements.edit_0.3.0.201207231805.jar	2012-07-23 19:05	31K
	es.upv.dsic.issi.tipex.infoelements.editor_0.3.0.201207231805.jar	2012-07-23 19:05	66K
	es.upv.dsic.issi.tipex.infoelements_0.3.0.201207231805.jar	2012-07-23 19:05	62K
	es.upv.dsic.issi.tipex.om.credentialsmanager.ui_0.3.0.201207231805.jar	2012-07-23 19:05	70K
	es.upv.dsic.issi.tipex.om.credentialsmanager_0.3.0.201207231805.jar	2012-07-23 19:05	16K
	es.upv.dsic.issi.tipex.om.edit_0.3.0.201207231805.jar	2012-07-23 19:05	17K
	es.upv.dsic.issi.tipex.om.editor_0.3.0.201207231805.jar	2012-07-23 19:05	166K
	es.upv.dsic.issi.tipex.om.tests_0.3.0.201207231805.jar	2012-07-23 19:05	8.4K
	es.upv.dsic.issi.tipex.om_0.3.0.201207231805.jar	2012-07-23 19:05	24K
	es.upv.dsic.issi.tipex.repomanager.ui_0.3.0.201207231805.jar	2012-07-23 19:05	158K
	es.upv.dsic.issi.tipex.repomanager_0.3.0.201207231805.jar	2012-07-23 19:05	13K
	es.upv.dsic.issi.tipex.wfm.diagram_0.3.0.201207231805.jar	2012-07-23 19:05	539K
	es.upv.dsic.issi.tipex.wfm.documenteditor_0.3.0.201207231805.jar	2012-07-23 19:05	2.2K
	es.upv.dsic.issi.tipex.wfm.edit_0.3.0.201207231805.jar	2012-07-23 19:05	53K
	es.upv.dsic.issi.tipex.wfm.editor_0.3.0.201207231805.jar	2012-07-23 19:05	63K
	es.upv.dsic.issi.tipex.wfm_0.3.0.201207231805.jar	2012-07-23 19:05	71K
	es.us.isa.ChocoReasoner_1.1.1.jar	2012-07-23 19:05	2.4M
	es.us.isa.FaMaAttributedModel_1.0.4.jar	2012-07-23 19:05	602K
	es.us.isa.FaMaFeatureModel_0.9.1.jar	2012-07-23 19:05	713K
	es.us.isa.FaMaSDK_1.1.1.jar	2012-07-23 19:05	113K
	es.us.isa.JaCoPReasoner_1.0.1.jar	2012-07-23 19:05	1.0M
	es.us.isa.JavaBDDReasoner_1.0.0.jar	2012-07-23 19:05	251K
	es.us.isa.Sat4jReasoner_1.0.1.jar	2012-07-23 19:05	1.8M
	org.dita_op.core.ui_1.0.0.201207231805.jar	2012-07-23 19:05	27K
	org.dita_op.dita.archspec_1.0.0.201207231805.jar	2012-07-23 19:05	212K
	org.dita_op.dita.dtd_1.0.0.201207231805.jar	2012-07-23 19:05	342K
	org.dita_op.dita.langref_1.0.0.201207231805.jar	2012-07-23 19:05	1.8M
	org.dita_op.doc_1.0.0.201207231805.jar	2012-07-23 19:05	25K
	org.dita_op.dost.launcher_1.0.0.201207231805.jar	2012-07-23 19:05	70K
	org.dita_op.editor_1.0.0.201207231805.jar	2012-07-23 19:05	448K