Home

Dopo aver scaricato il repository, nella root del progetto fare un link alla distribuzione di prom

ln -s "PathToProm" prom6_origin

PathToProm deve essere organizzato come segue: nella directory ProM il core di prom contenente in dist tutti i jar dei moduli principali. Per compilare ProM core usare build_prom.xml

I plugin vanno dentro "PathToProm"

Per scaricare le cose dal repository svn di prom usare: svn co --username anonymous --password anonymous --ignore-externals

Elenco dei plugin:

Importazione dei log svn://prom.win.tue.nl/public/ProM/Packages/Log/Trunk Visualizzazione dei log svn://prom.win.tue.nl/public/ProM/Packages/LogDialog/Trunk Servizi OS svn://prom.win.tue.nl/public/ProM/Packages/OSService/Trunk